Class java.nio.file.attribute.FileTime is immutable with 2 fields which are initialized lazily.
We need to read fields instant/valueAsString once, as to dodge/resolve the data race on reading lazily-initialized fields.