hg: jdk9/dev/jdk: 8072645: java.util.logging should use java.time to get more precise time stamps

[daniel.fuchs at oracle.com]

Changeset: 710db3eff010
Author:    dfuchs
Date:      2015-02-25 18:41 +0100
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/710db3eff010

8072645: java.util.logging should use java.time to get more precise time stamps
Summary: j.u.logging uses j.t.Instant to store LogRecord time stamps. XMLFormatter format is updated to allow for a new optional <nanos> element containing a nano second adjustment. SimpleFormatter passes a ZonedDateTime object to String.format. LogRecord getMillis/setMillis are deprecated, replaced by getInstant/setInstant.
Reviewed-by: scolebourne, plevart, rriggs
Contributed-by: daniel.fuchs at oracle.com, peter.levart at gmail.com

! src/java.base/share/classes/sun/util/logging/LoggingSupport.java
! src/java.base/share/classes/sun/util/logging/PlatformLogger.java
! src/java.logging/share/classes/java/util/logging/LogRecord.java
! src/java.logging/share/classes/java/util/logging/SimpleFormatter.java
! src/java.logging/share/classes/java/util/logging/XMLFormatter.java
! test/java/lang/invoke/lambda/LogGeneratedClassesTest.java
! test/java/util/logging/FileHandlerLongLimit.java
+ test/java/util/logging/HigherResolutionTimeStamps/LogRecordWithNanos.java
+ test/java/util/logging/HigherResolutionTimeStamps/LogRecordWithNanosAPI.java
+ test/java/util/logging/HigherResolutionTimeStamps/SerializeLogRecord.java
+ test/java/util/logging/HigherResolutionTimeStamps/SimpleFormatterNanos.java
+ test/java/util/logging/HigherResolutionTimeStamps/XmlFormatterNanos.java