final void generateOutput()
throws IOException {
debugMsg("Generating document " + output + "...");
final RtfFile f = new RtfFile(new FileWriter(output));
final RtfDocumentArea rda = f.startDocumentArea();
final RtfSection sect = rda.newSection();
addIntroComments(sect);
generateDocument(rda, sect);
f.flush();
}