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; }