Searched refs:java_profile_name (Results 1 – 1 of 1) sorted by relevance
36 private static final String java_profile_name = ""; field in Version97 if (java_profile_name.length() > 0) { in print()99 ps.print(", profile " + java_profile_name); in print()