String protocol = u.getProtocol();
String host = "";
int port = u.getPort();
String file = ""; // really username
String userInfo = null;
String authority = null;
String query = null;
String fragmentID = null;
if( start < limit) {
String address = spec.substring(start, limit);
int atSign = address.indexOf('@");
if (atSign >= 0) {
host = address.substring(atSign+1);
file = address.substring(0, atSign);
}
}
// For Java 1.2 comment out this next line
this.setURL(u, protocol, host, port, authority,
userInfo, file, query, fragmentID );
// In Java 1.2 and earlier uncomment the following line:
// this.setURL(u, protocol, host, port, file, fragmentID );