svoid touchExistingFile(File file) ctex {
  if (file == null) ret;
  java.nio.file.Files.setLastModifiedTime(toPath(file),
    java.nio.file.attribute.FileTime.from(java.time.Instant.now()));
}