public static @NotNull String formatVersionString(@NotNull JavaVersion version) {
    return "java version \"" + version + '"';
  }
public static @NotNull String formatVersionString(@NotNull JavaVersion version)