On 23/05/2017 00:15, Stuart Marks wrote:
I think this is sufficient. People who care about this case will have to rewrite their code using Files.readAttributes instead of File.lastModified.
or Files.getLastModifiedTime if only this timestamp is needed. -Alan
