jdk/src/share/classes/java/awt/Window.java
changeset 18178 ee71c923891d
parent 17901 88326b660820
child 19361 424d84a2276f
--- a/jdk/src/share/classes/java/awt/Window.java	Sun Jun 16 22:36:41 2013 -0700
+++ b/jdk/src/share/classes/java/awt/Window.java	Mon Jun 17 14:09:25 2013 +0100
@@ -3149,7 +3149,7 @@
         }
         synchronized (getTreeLock()) {
             super.setGraphicsConfiguration(gc);
-            if (log.isLoggable(PlatformLogger.FINER)) {
+            if (log.isLoggable(PlatformLogger.Level.FINER)) {
                 log.finer("+ Window.setGraphicsConfiguration(): new GC is \n+ " + getGraphicsConfiguration_NoClientCode() + "\n+ this is " + this);
             }
         }