static String loadMainJava() throws IOException {
    return loadTextFile("input/main.java", "");
  }