diff options
| author | Sven Gothel <[email protected]> | 2013-09-22 07:48:45 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2013-09-22 07:48:45 +0200 |
| commit | 03d17baf99d3bcb0c0650f80e24d7813544d21fa (patch) | |
| tree | 1587765d35fcc7e3157d889999f3c833731dddd7 /src/java/com/jogamp/common | |
| parent | 4fbc50cb299e2e9334ebbfabc6ebe32718130b6b (diff) | |
Bug 816: Add Platform.JAVA_VERSION_UPDATE - Allowing to determin whether JVM is >= 1.7.0u40
Diffstat (limited to 'src/java/com/jogamp/common')
| -rw-r--r-- | src/java/com/jogamp/common/util/VersionUtil.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/java/com/jogamp/common/util/VersionUtil.java b/src/java/com/jogamp/common/util/VersionUtil.java index 8d9e6a9..51373eb 100644 --- a/src/java/com/jogamp/common/util/VersionUtil.java +++ b/src/java/com/jogamp/common/util/VersionUtil.java @@ -68,7 +68,7 @@ public class VersionUtil { Platform.getMachineDescription().toString(sb).append(Platform.getNewline()); // JVM/JRE - sb.append("Platform: Java Version: ").append(Platform.getJavaVersion()).append(", VM: ").append(Platform.getJavaVMName()); + sb.append("Platform: Java Version: ").append(Platform.getJavaVersion()).append(" (").append(Platform.getJavaVersionNumber()).append("u").append(Platform.JAVA_VERSION_UPDATE).append("), VM: ").append(Platform.getJavaVMName()); sb.append(", Runtime: ").append(Platform.getJavaRuntimeName()).append(Platform.getNewline()); sb.append("Platform: Java Vendor: ").append(Platform.getJavaVendor()).append(", ").append(Platform.getJavaVendorURL()); sb.append(", JavaSE: ").append(Platform.isJavaSE()); |