if (option.equals("-html")) { if (!optionExtraPart.equals("")) { stylesheet = optionExtraPart; } else { stylesheet = "default.xsl"; } }
		protected void handleOption(String option, String optionExtraPart) throws IOException {			if (option.equals("-longBugCodes"))				setUseLongBugCodes(true);					}