jdk/src/java.base/share/classes/java/io/File.java
changeset 37781 71ed5645f17c
parent 37593 824750ada3d6
child 41881 b26ea3cb64c5
--- a/jdk/src/java.base/share/classes/java/io/File.java	Tue May 03 11:45:56 2016 +0100
+++ b/jdk/src/java.base/share/classes/java/io/File.java	Tue May 03 15:50:54 2016 +0200
@@ -1896,7 +1896,7 @@
 
         // temporary directory location
         private static final File tmpdir = new File(
-                GetPropertyAction.getProperty("java.io.tmpdir"));
+                GetPropertyAction.privilegedGetProperty("java.io.tmpdir"));
         static File location() {
             return tmpdir;
         }