public static void save(Tree t,
	                        List<String> ruleNames, String fileName,
	                        String fontName, int fontSize)
	throws IOException
	{
		writePS(t, ruleNames, fileName, fontName, fontSize);
	}
Save this tree in a postscript file using a particular font name and size
tool/src/org/antlr/v4/gui/Trees.java