/src/main/java/org/htmlunit/html/HtmlAnchor.java
final StringBuilder builder = new StringBuilder ( href.length ( ) ) ; builder.append ( JavaScriptURLConnection.JAVASCRIPT_PREFIX ) ;
} if (ATTRIBUTE_NOT_DEFINED == getHrefAttribute()) { return; } HtmlPage page = (HtmlPage) getPage(); if (StringUtils.startsWithIgnoreCase(href, JavaScriptURLConnection.JAVASCRIPT_PREFIX)) { <extra_id_0> for (int i = JavaScriptURLConnection.JAVASCRIPT_PREFIX.length(); i < href.length(); i++) { 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')