Add Enumeration<String> getLoggerNames() support to gwt LogManager emulation.

Review by: unnurg@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@10736 8db76d5a-ed1c-0410-87a9-c151d255dfc7

user/super/com/google/gwt/emul/java/util/logging/LogManager.java

diff --git a/user/super/com/google/gwt/emul/java/util/logging/LogManager.java b/user/super/com/google/gwt/emul/java/util/logging/LogManager.java
index 2dfec3f..aaf67c2 100644
--- a/user/super/com/google/gwt/emul/java/util/logging/LogManager.java
+++ b/user/super/com/google/gwt/emul/java/util/logging/LogManager.java
@@ -16,6 +16,8 @@
 
 package java.util.logging;
 
+import java.util.Collections;
+import java.util.Enumeration;
 import java.util.HashMap;
 
 /**
@@ -64,6 +66,10 @@
   public Logger getLogger(String name) {
     return loggerList.get(name);
   }
+
+  public Enumeration<String> getLoggerNames() {
+    return Collections.enumeration(loggerList.keySet());
+  }
   
   /**
    *  Helper function to add a logger when we have already determined that it
@@ -99,7 +105,6 @@
   /* Not Implemented */
   // public void addPropertyChangeListener(PropertyChangeListener l) {}
   // public void checkAccess() {}
-  // public Enumeration getLoggerNames() {}
   // public String getProperty(String name) {}
   // public void readConfiguration() {}
   // public void readConfiguration(InputStream ins) {}