}
public static String format(ParseTreeNode n) {
StringBuilder output = new StringBuilder();
try {
n.format(new MessageContext(), output);
} catch (IOException ex) {
throw new SomethingWidgyHappenedError(
"StringBuilder does not throw IOException", ex);
}
return output.toString();