jdk/src/java.base/share/classes/sun/net/www/MimeLauncher.java
changeset 37781 71ed5645f17c
parent 37593 824750ada3d6
--- a/jdk/src/java.base/share/classes/sun/net/www/MimeLauncher.java	Tue May 03 11:45:56 2016 +0100
+++ b/jdk/src/java.base/share/classes/sun/net/www/MimeLauncher.java	Tue May 03 15:50:54 2016 +0200
@@ -183,7 +183,7 @@
         }
 
         String execPathList;
-        execPathList = GetPropertyAction.getProperty("exec.path");
+        execPathList = GetPropertyAction.privilegedGetProperty("exec.path");
         if (execPathList == null) {
             // exec.path property not set
             return false;