src/share/classes/java/util/logging/ConsoleHandler.java

*** 64,107 ****
   * </ul>
   * <p>
   * @since 1.4
   */
  public class ConsoleHandler extends StreamHandler {
-     // Private method to configure a ConsoleHandler from LogManager
-     // properties and/or default values as specified in the class
-     // javadoc.
-     private void configure() {
-         LogManager manager = LogManager.getLogManager();
-         String cname = getClass().getName();
- 
-         setLevel(manager.getLevelProperty(cname +".level", Level.INFO));
-         setFilter(manager.getFilterProperty(cname +".filter", null));
-         setFormatter(manager.getFormatterProperty(cname +".formatter", new SimpleFormatter()));
-         try {
-             setEncoding(manager.getStringProperty(cname +".encoding", null));
-         } catch (Exception ex) {
-             try {
-                 setEncoding(null);
-             } catch (Exception ex2) {
-                 // doing a setEncoding with null should always work.
-                 // assert false;
-             }
-         }
-     }
  
      /**
       * Create a <tt>ConsoleHandler</tt> for <tt>System.err</tt>.
       * <p>
       * The <tt>ConsoleHandler</tt> is configured based on
       * <tt>LogManager</tt> properties (or their default values).
       *
       */
      public ConsoleHandler() {
!         sealed = false;
!         configure();
!         setOutputStream(System.err);
!         sealed = true;
      }
  
      /**
       * Publish a <tt>LogRecord</tt>.
       * <p>
--- 64,83 ----
   * </ul>
   * <p>
   * @since 1.4
   */
  public class ConsoleHandler extends StreamHandler {
  
      /**
       * Create a <tt>ConsoleHandler</tt> for <tt>System.err</tt>.
       * <p>
       * The <tt>ConsoleHandler</tt> is configured based on
       * <tt>LogManager</tt> properties (or their default values).
       *
       */
      public ConsoleHandler() {
!         setOutputStreamPrivileged(System.err);
      }
  
      /**
       * Publish a <tt>LogRecord</tt>.
       * <p>