public static @NotNull URL getJarEntryURL(@NotNull File file, @NotNull String pathInJar) throws MalformedURLException {
    String fileURL = file.toURI().toASCIIString().replace("!", "%21");
    int index = 0;
    while (index < pathInJar.length() && pathInJar.charAt(index) == '/') {
      index++;
    }
    return new URL(JAR_PROTOCOL + ':' + fileURL + JAR_SEPARATOR + pathInJar.substring(index));
  }
public static @NotNull URL getJarEntryURL(@NotNull File file, @NotNull String pathInJar)