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