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