private static void addFile(Set<? super File> classpath, @Nullable String url) {
    if (url != null) {
      classpath.add(JpsPathUtil.urlToFile(url));
    }
  }
private static void addFile(Set<? super File> classpath, @Nullable String url)