modules/javafx.web/src/main/java/com/sun/webkit/network/DateParser.java

@@ -23,30 +23,31 @@
  * questions.
  */
 
 package com.sun.webkit.network;
 
+import com.sun.javafx.logging.PlatformLogger;
+import com.sun.javafx.logging.PlatformLogger.Level;
+
 import java.text.ParseException;
 import java.util.Calendar;
 import java.util.Collections;
 import java.util.Date;
 import java.util.HashMap;
 import java.util.Locale;
 import java.util.Map;
 import java.util.TimeZone;
-import java.util.logging.Level;
-import java.util.logging.Logger;
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
 
 /**
  * An RFC 6265-compliant date parser.
  */
 final class DateParser {
 
-    private static final Logger logger =
-            Logger.getLogger(DateParser.class.getName());
+    private static final PlatformLogger logger =
+            PlatformLogger.getLogger(DateParser.class.getName());
 
     private static final Pattern DELIMITER_PATTERN = Pattern.compile(
             "[\\x09\\x20-\\x2F\\x3B-\\x40\\x5B-\\x60\\x7B-\\x7E]+");
     private static final Pattern TIME_PATTERN = Pattern.compile(
             "(\\d{1,2}):(\\d{1,2}):(\\d{1,2})(?:[^\\d].*)*");

@@ -87,11 +88,11 @@
      * @return the difference, measured in milliseconds, between the parsed
      *         date and midnight, January 1, 1970 UTC
      * @throws ParseException if {@code date} cannot be parsed
      */
     static long parse(String date) throws ParseException {
-        logger.log(Level.FINEST, "date: [{0}]", date);
+        logger.finest("date: [{0}]", date);
 
         Time time = null;
         Integer dayOfMonth = null;
         Integer month = null;
         Integer year = null;

@@ -154,12 +155,11 @@
                 time.hour, time.minute, time.second);
 
         try {
             long result = calendar.getTimeInMillis();
             if (logger.isLoggable(Level.FINEST)) {
-                logger.log(Level.FINEST, "result: [{0}]",
-                        new Date(result).toString());
+                logger.finest("result: [{0}]", new Date(result).toString());
             }
             return result;
         } catch (Exception ex) {
             ParseException pe = new ParseException("Error parsing date", 0);
             pe.initCause(ex);