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); } }