--- old/src/share/classes/java/util/logging/MemoryHandler.java	2013-12-08 19:34:48.499984044 +0100
+++ new/src/share/classes/java/util/logging/MemoryHandler.java	2013-12-08 19:34:48.382986110 +0100
@@ -116,9 +116,7 @@
      * <tt>LogManager</tt> configuration properties.
      */
     public MemoryHandler() {
-        sealed = false;
-        configure();
-        sealed = true;
+        doWithControlPermission(this::configure);
 
         LogManager manager = LogManager.getLogManager();
         String handlerName = getClass().getName();
@@ -164,9 +162,7 @@
         if (size <= 0) {
             throw new IllegalArgumentException();
         }
-        sealed = false;
-        configure();
-        sealed = true;
+        doWithControlPermission(this::configure);
         this.target = target;
         this.pushLevel = pushLevel;
         this.size = size;