if (args.length >= 1) pp.setHeaderText(args[0]);
	public static void main(String[] args) throws Exception {		String docTitle = "FindBugs Bug Descriptions";		if (args.length > 0)			docTitle = args[0];		PrettyPrintBugDescriptions pp = new PrettyPrintBugDescriptions(docTitle, System.out);		if (args.length >= 1)			pp.setHeaderText(args[0]);		if (args.length >= 2)			pp.setBeginBodyText(args[1]);		if (args.length >= 3)			pp.setPrologueText(args[2]);		if (args.length >= 4)			pp.setEndBodyText(args[3]);		pp.print();	}