public URL(String spec) throws MalformedURLException
public URL(String protocol, String host, int port, String file) throws MalformedURLException
  public URL(String spec) throws MalformedURLException  {    this((URL) null, spec, (URLStreamHandler) null);  }