@@ -256,11 +256,11 @@ void repaintText() { xtext.repaintNow(); } public void setBackground(Color c) { - if (log.isLoggable(PlatformLogger.FINE)) { + if (log.isLoggable(PlatformLogger.Level.FINE)) { log.fine("target="+ target + ", old=" + background + ", new=" + c); } background = c; if (xtext != null) { xtext.setBackground(c);