protected String getJarName(URL url)
	   {
	     String fileName = url.getFile();
	 
	     if (fileName.contains("?")) {
	       fileName = fileName.substring(0, fileName.indexOf("?"));
	     }
	     if (fileName.endsWith(".pack.lzma"))
	       fileName = fileName.replaceAll(".pack.lzma", "");
	     else if (fileName.endsWith(".pack"))
	       fileName = fileName.replaceAll(".pack", "");
	     else if (fileName.endsWith(".lzma")) {
	       fileName = fileName.replaceAll(".lzma", "");
	     }
	     return fileName.substring(fileName.lastIndexOf('/') + 1);
	  }