public static void save(Tree t, List<String> ruleNames, String fileName)
		throws IOException, PrintException
	{
		writePS(t, ruleNames, fileName);
	}
Save this tree in a postscript file
tool/src/org/antlr/v4/gui/Trees.java