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; }