jdk/src/share/classes/java/util/logging/StreamHandler.java
changeset 14333 65fe875afb41
parent 14321 7f9f265ac11e
parent 14216 23714b376286
child 19808 39cb79123ab2
--- a/jdk/src/share/classes/java/util/logging/StreamHandler.java	Mon Oct 29 16:51:59 2012 -0700
+++ b/jdk/src/share/classes/java/util/logging/StreamHandler.java	Wed Oct 31 08:29:44 2012 -0700
@@ -263,7 +263,7 @@
     }
 
     private synchronized void flushAndClose() throws SecurityException {
-        checkAccess();
+        checkPermission();
         if (writer != null) {
             try {
                 if (!doneHeader) {