@@ -3234,11 +3234,11 @@ } registeredFontFiles.add(fullName); if (FontUtilities.debugFonts() - && FontUtilities.getLogger().isLoggable(PlatformLogger.INFO)) { + && FontUtilities.getLogger().isLoggable(PlatformLogger.Level.INFO)) { String message = "Registering font " + fullName; String[] natNames = getNativeNames(fullName, null); if (natNames == null) { message += " with no native name"; } else {