--- a/jdk/src/java.base/share/classes/jdk/Version.java	Tue May 03 11:45:56 2016 +0100
+++ b/jdk/src/java.base/share/classes/jdk/Version.java	Tue May 03 15:50:54 2016 +0200
@@ -273,7 +273,8 @@
      */
     public static Version current() {
         if (current == null) {
-            current = parse(GetPropertyAction.getProperty("java.version"));
+            current = parse(
+                    GetPropertyAction.privilegedGetProperty("java.version"));
         }
         return current;
     }