RFR: 8298726: (fs) Change PollingWatchService to record last modified time as FileTime rather than milliseconds

Wed Dec 14 16:42:07 UTC 2022

PollingWatchService currently records the last modified time of files in milliseconds. It would be better to just record the FileTime to avoid truncating high precision timestamps to millis.

It's possible this change may also help JDK-8297275.

-------------

Commit messages:
 - Initial commit

Changes: https://git.openjdk.org/jdk/pull/11665/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=11665&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8298726
  Stats: 15 lines in 1 file changed: 2 ins; 4 del; 9 mod
  Patch: https://git.openjdk.org/jdk/pull/11665.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/11665/head:pull/11665

PR: https://git.openjdk.org/jdk/pull/11665