docs: @Pure
  	public static File getJarFile(URL url) {
  		if (isJarURL(url)) {
  			final String path = url.getPath();
  			final int idx = path.lastIndexOf(JAR_URL_FILE_ROOT);
  			if (idx >= 0) {
  				return new File(decodeHTMLEntities(path.substring(idx + 1)));
  			}
  		}
  		return null;
  	}