--- old/src/share/classes/java/util/logging/Handler.java 2013-12-02 08:52:42.875822164 +0100 +++ new/src/share/classes/java/util/logging/Handler.java 2013-12-02 08:52:42.745824536 +0100 @@ -62,9 +62,11 @@ private volatile ErrorManager errorManager = new ErrorManager(); private volatile String encoding; - // Package private support for security checking. When sealed - // is true, we access check updates to the class. - boolean sealed = true; + // Package private support for security checking. When isSealed + // returns true, we access check updates to the class. + boolean isSealed() { + return true; + } /** * Default constructor. The resulting Handler has a log @@ -306,7 +308,7 @@ // appropriate security privileges to update Handler // state and if not throw a SecurityException. void checkPermission() throws SecurityException { - if (sealed) { + if (isSealed()) { manager.checkPermission(); } }