--- old/src/share/classes/java/util/logging/ConsoleHandler.java	2013-12-08 19:34:47.432002898 +0100
+++ new/src/share/classes/java/util/logging/ConsoleHandler.java	2013-12-08 19:34:47.314004981 +0100
@@ -96,10 +96,10 @@
      *
      */
     public ConsoleHandler() {
-        sealed = false;
-        configure();
-        setOutputStream(System.err);
-        sealed = true;
+        doWithControlPermission(() -> {
+            configure();
+            setOutputStream(System.err);
+        });
     }
 
     /**