--- old/src/share/classes/java/util/logging/LoggingProxyImpl.java	2013-04-03 21:48:51.000000000 -0700
+++ new/src/share/classes/java/util/logging/LoggingProxyImpl.java	2013-04-03 21:48:50.000000000 -0700
@@ -106,6 +106,11 @@
     }
 
     @Override
+    public int getLevelValue(Object level) {
+        return ((Level) level).intValue();
+    }
+
+    @Override
     public String getProperty(String key) {
         return LogManager.getLogManager().getProperty(key);
     }