static void saveTextFileUnlessExists(File f, S contents) {
  if (f != null && !f.exists())
    saveTextFile(f, contents);
}