public JarURLConnection(URL url)
protected JarURLConnection(URL url)
  public JarURLConnection(URL url)    throws MalformedURLException  {    super(url);    String spec = url.getFile();    int bang = spec.indexOf ("!/", 0);    if (bang == -1)      throw new MalformedURLException (url + ": No `!/' in spec.");    // Extact the url for the jar itself.    jarFileURL = new URL(spec.substring (0, bang));    // Get the name of the element, if any.    element = (bang+2==spec.length() ? null : spec.substring (bang+2));  }