/src/main/java/org/htmlunit/util/UrlUtils.java
} url.getPort( ) , path, anchor, query) ;
url.getPort ( ) , path, anchor, query ) ; }
} String anchor = url.getRef(); if (anchor != null) { anchor = encode(anchor, ANCHOR_ALLOWED_CHARS, UTF_8); } return createNewUrl(url.getProtocol(), url.getUserInfo(), url.getHost(), <extra_id_0> catch (final MalformedURLException e) { throw new RuntimeException(e); } } public static String encodeAnchor(final String anchor) { if (anchor == null) {