# HG changeset patch
# User sherman
# Date 1476406050 25200
# Node ID 854cef16b9fc4e5d5d3060f33472a9d9e4bd7015
# Parent  4017fcfaf2e3303f3f34576125186fc09a51a1b2
8167957: Remove FilePermission from default policy for jdk.charsets module
Reviewed-by: mchung

diff -r 4017fcfaf2e3 -r 854cef16b9fc jdk/src/java.base/share/lib/security/default.policy
--- a/jdk/src/java.base/share/lib/security/default.policy	Thu Oct 13 23:02:35 2016 +0000
+++ b/jdk/src/java.base/share/lib/security/default.policy	Thu Oct 13 17:47:30 2016 -0700
@@ -91,7 +91,6 @@
 };
 
 grant codeBase "jrt:/jdk.charsets" {
-    permission java.io.FilePermission "${java.home}/-", "read";
     permission java.util.PropertyPermission "os.name", "read";
     permission java.util.PropertyPermission "sun.nio.cs.map", "read";
     permission java.lang.RuntimePermission "charsetProvider";