unabridged = true; }  if (Boolean.getBoolean("findbugs.bugdesc.unabridged")) { unabridged = true;
	public static void main(String[] args) throws Exception {		int argCount = 0;		if (argCount < args.length && args[argCount].equals("-unabridged")) {			++argCount;			// Unabridged mode: emit all warnings reported by at least one			// detector, even for disabled detectors.			// FIXME: enabled/disabled not static any more//			DetectorFactoryCollection factories = DetectorFactoryCollection.instance();//			factories.enableAll();		}		String docTitle = "FindBugs Bug Descriptions";		if (argCount < args.length) {			docTitle = args[argCount++];		}		PrettyPrintBugDescriptions pp = new PrettyPrintBugDescriptions(docTitle, System.out);		if (argCount < args.length) {			pp.setHeaderText(args[argCount++]);		}		if (argCount < args.length) {			pp.setBeginBodyText(args[argCount++]);		}		if (argCount < args.length) {			pp.setPrologueText(args[argCount++]);		}		if (argCount < args.length) {			pp.setEndBodyText(args[argCount++]);		}		pp.print();	}