jdk/src/java.base/linux/classes/sun/nio/fs/LinuxFileSystemProvider.java
changeset 37781 71ed5645f17c
parent 37593 824750ada3d6
child 39830 292bdb61fccc
--- a/jdk/src/java.base/linux/classes/sun/nio/fs/LinuxFileSystemProvider.java	Tue May 03 11:45:56 2016 +0100
+++ b/jdk/src/java.base/linux/classes/sun/nio/fs/LinuxFileSystemProvider.java	Tue May 03 15:50:54 2016 +0200
@@ -102,7 +102,7 @@
 
     @Override
     FileTypeDetector getFileTypeDetector() {
-        String userHome = GetPropertyAction.getProperty("user.home");
+        String userHome = GetPropertyAction.privilegedGetProperty("user.home");
         Path userMimeTypes = Paths.get(userHome, ".mime.types");
         Path etcMimeTypes = Paths.get("/etc/mime.types");