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

*** 104,112 ****
--- 104,117 ----
      public String getLevelName(Object level) {
          return ((Level) level).getLevelName();
      }
  
      @Override
+     public int getLevelValue(Object level) {
+         return ((Level) level).intValue();
+     }
+ 
+     @Override
      public String getProperty(String key) {
          return LogManager.getLogManager().getProperty(key);
      }
  }