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);
  }