# HG changeset patch
# User bpb
# Date 1495056566 25200
# Node ID f7d47a5e1e993651836c7969f12cc7986a6a76a8
# Parent  a4bb2bc5dce1984c687ac7990c7097999061bb15
7086489: File.lastModified should accuracy as well as resolution
Summary: Add an @apiNote indicating that the last-modified time might be of coarser than millisecond granularity.
Reviewed-by: smarks

diff -r a4bb2bc5dce1 -r f7d47a5e1e99 jdk/src/java.base/share/classes/java/io/File.java
--- a/jdk/src/java.base/share/classes/java/io/File.java	Wed May 17 08:51:46 2017 -0400
+++ b/jdk/src/java.base/share/classes/java/io/File.java	Wed May 17 14:29:26 2017 -0700
@@ -923,6 +923,12 @@
      * java.nio.file.Files#readAttributes(Path,Class,LinkOption[])
      * Files.readAttributes} method may be used.
      *
+     * @apiNote
+     * While the unit of time of the return value is milliseconds,
+     * the granularity of the value depends on the underlying
+     * file system and may be larger.  For example, some
+     * file systems use time stamps in units of seconds.
+     *
      * @return  A <code>long</code> value representing the time the file was
      *          last modified, measured in milliseconds since the epoch
      *          (00:00:00 GMT, January 1, 1970), or <code>0L</code> if the