docs: @Pure
  	public static URL toJarURL(URL jarFile, String insideFile) throws MalformedURLException {
  		if (jarFile == null || insideFile == null) {
  			return null;
  		}
  		final StringBuilder buf = new StringBuilder();
  		buf.append("jar:"); //$NON-NLS-1$
  		buf.append(jarFile.toExternalForm());
  		buf.append(JAR_URL_FILE_ROOT);
  		final String path = fromFileStandardToURLStandard(insideFile);
  		if (path.startsWith(URL_PATH_SEPARATOR)) {
  			buf.append(path.substring(URL_PATH_SEPARATOR.length()));
  		} else {
  			buf.append(path);
  		}
  		return new URL(buf.toString());
  	}