static void saveMainJava(String s) throws IOException {
    saveTextFile("output/main.java", s);
  }