/src/main/java/org/htmlunit/html/HtmlAnchor.java
for ( int i = JavaScriptURLConnection.JAVASCRIPT_PREFIX.length( ) ; i < w.length( ) ; i++) {
for ( int i = JavaScriptURLConnection.JAVASCRIPT_PREFIX.length ( ) ; i < href.length ( ) ; i++ ) {
return; } HtmlPage page = (HtmlPage) getPage(); if (StringUtils.startsWithIgnoreCase(href, JavaScriptURLConnection.JAVASCRIPT_PREFIX)) { final StringBuilder builder = new StringBuilder(href.length()); builder.append(JavaScriptURLConnection.JAVASCRIPT_PREFIX); <extra_id_0> final char ch = href.charAt(i); if (ch == '%' && i + 2 < href.length()) { final char ch1 = Character.toUpperCase(href.charAt(i + 1)); final char ch2 = Character.toUpperCase(href.charAt(i + 2)); if ((Character.isDigit(ch1) || ch1 >= 'A' && ch1 <= 'F') && (Character.isDigit(ch2) || ch2 >= 'A' && ch2 <= 'F')) {