}
final PrintWriter ostr = outputFile.getPrintWriter();
JavaFileGenerator generator = new JavaFileGenerator(
"/templates/cpp/" + name + ".template", Options.getOptions());
generator.generate(ostr);
ostr.close();
} catch (IOException e) {
System.err.println("Failed to create file: " + file + e);
JavaCCErrors.semantic_error("Could not open file: " + file + " for writing.");
throw new Error();