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