static void makeEmptyFile(File f) ctex {
  new FileOutputStream(f).close();
}