Searched refs:launcher_name (Results 1 – 1 of 1) sorted by relevance
33 private static final String launcher_name = ""; field in Version90 ps.println(launcher_name + " version \"" + java_version + "\""); in print()