jdk/src/share/classes/java/util/logging/MemoryHandler.java
changeset 14216 23714b376286
parent 5506 202f599c92aa
child 14333 65fe875afb41
--- a/jdk/src/share/classes/java/util/logging/MemoryHandler.java	Thu Sep 06 17:27:56 2012 -0700
+++ b/jdk/src/share/classes/java/util/logging/MemoryHandler.java	Sat Sep 08 20:31:42 2012 +0100
@@ -238,7 +238,7 @@
             throw new NullPointerException();
         }
         LogManager manager = LogManager.getLogManager();
-        checkAccess();
+        checkPermission();
         pushLevel = newLevel;
     }