154     private PropertyChangeSupport changes

   154     private PropertyChangeSupport changes

   155                          = new PropertyChangeSupport(LogManager.class);

   155                          = new PropertyChangeSupport(LogManager.class);

   156     private final static Level defaultLevel = Level.INFO;

   156     private final static Level defaultLevel = Level.INFO;

   157 

   157 

   158     // Table of named Loggers that maps names to Loggers.

   158     // Table of named Loggers that maps names to Loggers.

   161     // Tree of named Loggers

   160     // Tree of named Loggers

   162     private LogNode root = new LogNode(null);

   161     private LogNode root = new LogNode(null);

   163     private Logger rootLogger;

   162     private Logger rootLogger;

   164 

   163 

   165     // Have we done the primordial reading of the configuration file?

   164     // Have we done the primordial reading of the configuration file?

   420 

   419 

   421 

   420 

   422     // loggerRefQueue holds LoggerWeakRef objects for Logger objects

   421     // loggerRefQueue holds LoggerWeakRef objects for Logger objects

   423     // that have been GC'ed.

   422     // that have been GC'ed.

   424     private final ReferenceQueue<Logger> loggerRefQueue

   423     private final ReferenceQueue<Logger> loggerRefQueue

   426 

   425 

   427     // Package-level inner class.

   426     // Package-level inner class.

   428     // Helper class for managing WeakReferences to Logger objects.

   427     // Helper class for managing WeakReferences to Logger objects.

   429     //

   428     //

   430     // LogManager.namedLoggers

   429     // LogManager.namedLoggers

   670             } else {

   669             } else {

   671                 head = name;

   670                 head = name;

   672                 name = "";

   671                 name = "";

   673             }

   672             }

   674             if (node.children == null) {

   673             if (node.children == null) {

   676             }

   675             }

   677             LogNode child = node.children.get(head);

   676             LogNode child = node.children.get(head);

   678             if (child == null) {

   677             if (child == null) {

   679                 child = new LogNode(node);

   678                 child = new LogNode(node);

   680                 node.children.put(head, child);

   679                 node.children.put(head, child);

   854         if (hands == null) {

   853         if (hands == null) {

   855             return new String[0];

   854             return new String[0];

   856         }

   855         }

   857         hands = hands.trim();

   856         hands = hands.trim();

   858         int ix = 0;

   857         int ix = 0;

   860         while (ix < hands.length()) {

   859         while (ix < hands.length()) {

   861             int end = ix;

   860             int end = ix;

   862             while (end < hands.length()) {

   861             while (end < hands.length()) {

   863                 if (Character.isWhitespace(hands.charAt(end))) {

   862                 if (Character.isWhitespace(hands.charAt(end))) {

   864                     break;

   863                     break;