equal
deleted
inserted
replaced
50 |
50 |
51 public static void init() { |
51 public static void init() { |
52 System.setProperty("java.version", java_version); |
52 System.setProperty("java.version", java_version); |
53 System.setProperty("java.runtime.version", java_runtime_version); |
53 System.setProperty("java.runtime.version", java_runtime_version); |
54 System.setProperty("java.runtime.name", java_runtime_name); |
54 System.setProperty("java.runtime.name", java_runtime_name); |
55 if (java_profile_name.length() > 0) |
|
56 System.setProperty("java.runtime.profile", java_profile_name); |
|
57 } |
55 } |
58 |
56 |
59 private static boolean versionsInitialized = false; |
57 private static boolean versionsInitialized = false; |
60 private static int jvm_major_version = 0; |
58 private static int jvm_major_version = 0; |
61 private static int jvm_minor_version = 0; |
59 private static int jvm_minor_version = 0; |