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