code: private String getJarName(URL url) {
  
      String name = null;
  
      String path = url.getPath();
      int end = path.indexOf(Constants.JAR_EXT);
      if (end != -1) {
        int start = path.lastIndexOf("/", end);
        name = path.substring(start + 1, end + 4);
      } else if (isScanAllDirectories()) {
        int start = path.lastIndexOf("/");
        name = path.substring(start + 1);
      }
  
      return name;
    }
docs: /*
  Extract the JAR name, if present, from a URL