jdk/src/share/classes/java/util/logging/MemoryHandler.java
changeset 14333 65fe875afb41
parent 14321 7f9f265ac11e
parent 14216 23714b376286
child 18156 edb590d448c5
--- a/jdk/src/share/classes/java/util/logging/MemoryHandler.java	Mon Oct 29 16:51:59 2012 -0700
+++ b/jdk/src/share/classes/java/util/logging/MemoryHandler.java	Wed Oct 31 08:29:44 2012 -0700
@@ -257,7 +257,7 @@
             throw new NullPointerException();
         }
         LogManager manager = LogManager.getLogManager();
-        checkAccess();
+        checkPermission();
         pushLevel = newLevel;
     }