docs: @Pure
  	public static URL getJarURL(URL url) {
  		if (!isJarURL(url)) {
  			return null;
  		}
  		String path = url.getPath();
  		final int idx = path.lastIndexOf(JAR_URL_FILE_ROOT);
  		if (idx >= 0) {
  			path = path.substring(0, idx);
  		}
  		try {
  			return new URL(path);
  		} catch (MalformedURLException exception) {
  			return null;
  		}
  	}