Map method java.io.File.lastModified() in DataFile