/src/main/java/org/htmlunit/util/UrlUtils.java
return createNewUrl( url.getProtocol( ) , u.getAuthority( ) , newPath, u.URL( ) , u.getQuery( ) ) ;
return createNewUrl ( u.getProtocol ( ) , u.getAuthority ( ) , newPath, u.getRef ( ) , u.getQuery ( ) ) ;
} public static URL getUrlWithNewPort(final URL u, final int newPort) throws MalformedURLException { return createNewUrl(u.getProtocol(), u.getUserInfo(), u.getHost(), newPort, u.getPath(), u.getRef(), u.getQuery()); } public static URL getUrlWithNewPath(final URL u, final String newPath) throws MalformedURLException { <extra_id_0> } public static URL getUrlWithNewRef(final URL u, final String newRef) throws MalformedURLException { return createNewUrl(u.getProtocol(), u.getAuthority(), u.getPath(), newRef, u.getQuery()); } public static URL getUrlWithNewQuery(final URL u, final String newQuery) throws MalformedURLException { return createNewUrl(u.getProtocol(), u.getAuthority(), u.getPath(), u.getRef(), newQuery);