super.setURL(u, protocol, host, port, file, ref);
String authority = null; String userInfo = null;  if (host != null && host.length() != 0) {  authority = (port == -1) ? host : host + ":" + port;  int ix = host.lastIndexOf('@'); if (ix != -1) { userInfo = host.substring(0, ix); host     = host.substring(ix+1); } }    String path  = null; String query = null;  if (file != null) { int ix = file.lastIndexOf('?'); if (ix != -1) { query = file.substring(ix + 1); path  = file.substring(0, ix); } else { path = file; } } setURL(u, protocol, host, port, authority, userInfo, path, query, ref);
  public  void setURL(URL u, String protocol, String host, int port, String file, String ref) {    super.setURL(u, protocol, host, port, file, ref);  }    