else if (option.equals("-adjustExperimental")) BugInstance.setAdjustExperimental(true);
		protected void handleOption(String option, String optionExtraPart) {			if (option.equals("-experimental"))				priorityThreshold = Detector.EXP_PRIORITY;			else if (option.equals("-low"))				priorityThreshold = Detector.LOW_PRIORITY;			else if (option.equals("-medium"))				priorityThreshold = Detector.NORMAL_PRIORITY;			else if (option.equals("-high"))				priorityThreshold = Detector.HIGH_PRIORITY;			else if (option.equals("-sortByClass"))				bugReporterType = SORTING_REPORTER;			else if (option.equals("-xml")) {				bugReporterType = XML_REPORTER;				if (!optionExtraPart.equals("")) {					if (optionExtraPart.equals("withMessages"))						xmlWithMessages = true;					else						throw new IllegalArgumentException("Unknown option: -xml:" + optionExtraPart);				}			} else if (option.equals("-emacs"))				bugReporterType = EMACS_REPORTER;			else if (option.equals("-html")) {				bugReporterType = HTML_REPORTER;				if (!optionExtraPart.equals("")) {					stylesheet = optionExtraPart;				} else {					stylesheet = "default.xsl";				}			} else if (option.equals("-xdocs"))				bugReporterType = XDOCS_REPORTER;			else if (option.equals("-quiet"))				quiet = true;			else if (option.equals("-exitcode"))				setExitCode = true;			else				throw new IllegalStateException();		}