jdk/src/java.base/share/classes/java/util/jar/JarFile.java
changeset 37781 71ed5645f17c
parent 37593 824750ada3d6
child 37785 daf6dcc73e9d
--- a/jdk/src/java.base/share/classes/java/util/jar/JarFile.java	Tue May 03 11:45:56 2016 +0100
+++ b/jdk/src/java.base/share/classes/java/util/jar/JarFile.java	Tue May 03 15:50:54 2016 +0200
@@ -155,7 +155,7 @@
         BASE_VERSION = 8;  // one less than lowest version for versioned entries
         int runtimeVersion = jdk.Version.current().major();
         String jarVersion =
-                GetPropertyAction.getProperty("jdk.util.jar.version");
+                GetPropertyAction.privilegedGetProperty("jdk.util.jar.version");
         if (jarVersion != null) {
             int jarVer = Integer.parseInt(jarVersion);
             runtimeVersion = (jarVer > runtimeVersion)
@@ -163,7 +163,7 @@
         }
         RUNTIME_VERSION = runtimeVersion;
         String enableMultiRelease = GetPropertyAction
-                .getProperty("jdk.util.jar.enableMultiRelease", "true");
+                .privilegedGetProperty("jdk.util.jar.enableMultiRelease", "true");
         switch (enableMultiRelease) {
             case "true":
             default: