hg: jdk9/dev/jdk: 8144262: LogRecord.getMillis() method is a convenience API that should not have been deprecated

[daniel.fuchs at oracle.com]

Changeset: dc3322ef23ff
Author:    dfuchs
Date:      2015-12-07 12:35 +0100
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/dc3322ef23ff

8144262: LogRecord.getMillis() method is a convenience API that should not have been deprecated
Summary: LogRecord.getMillis() is no longer deprecated. LogRecord.setInstant() check that the instant millis can fit in a long millisecond-since-epoch.
Reviewed-by: lancea, rriggs, smarks

! src/java.logging/share/classes/java/util/logging/LogRecord.java
! test/java/util/logging/HigherResolutionTimeStamps/LogRecordWithNanosAPI.java