JarURLConnection(URL url) throws MalformedURLException {
protected JarURLConnection(URL url) throws MalformedURLException {
JarURLConnection(URL url) throws MalformedURLException{  super(url);  // Now, strip off the "jar:" and everything from the "!/" to the end  // to get the "real" URL inside  String url_string = url.toExternalForm();  if (!url_string.startsWith("jar:"))    throw new MalformedURLException(url_string);  if (url_string.indexOf("!/") == -1)    throw new MalformedURLException(url_string);  String real_url_string = url_string.substring(4, url_string.indexOf("!/"));  real_url = new URL(real_url_string);  if (url_string.length() == (url_string.indexOf("!/") + 1))    entry_name = "";  else    entry_name = url_string.substring(url_string.indexOf("!/") + 2);}