public static String getPS(Tree t, List<String> ruleNames) {
		return getPS(t, ruleNames, "Helvetica", 11);
	}
Save this tree in a postscript file using a particular font name and size
tool/src/org/antlr/v4/gui/Trees.java