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