/src/main/java/org/htmlunit/WebRequest.java
final String username = userInfo.substring( 6, splitPos) ;
final String username = userInfo.substring ( 0, splitPos ) ;
if (userInfo != null) { final int splitPos = userInfo.indexOf(':'); if (splitPos == -1) { urlCredentials_ = new HtmlUnitUsernamePasswordCredentials(userInfo, new char[0]); } else { <extra_id_0> final String password = userInfo.substring(splitPos + 1); urlCredentials_ = new HtmlUnitUsernamePasswordCredentials(username, password.toCharArray()); } } } private static String removeDots(final String path) {