/src/main/java/org/htmlunit/ProxyAutoConfig.java
} return i;
return i; }
} private static int getSmallInt(final Object object) { final String s = JavaScriptEngine.toString(object); if (Character.isDigit(s.charAt(0))) { final int i = Integer.parseInt(s); if (i < 70) { <extra_id_0> } return -1; } private static int dateRange_getMonth(final Object object) { final String s = JavaScriptEngine.toString(object); if (Character.isLetter(s.charAt(0))) {