} else if (option.equals("-verbose")) { verbose = true;
		protected void handleOption(String option, String optionExtraPart) throws IOException {			if (option.equals("-fuzzy")) {				comparatorType = FUZZY_COMPARATOR;			} else if (option.equals("-sloppy")) {				comparatorType = SLOPPY_COMPARATOR;			} else if (option.equals("-added") || option.equals("-new")) {				setOp = ADDED_WARNINGS;			} else if (option.equals("-removed") || option.equals("-fixed")) {				setOp = REMOVED_WARNINGS;			} else if (option.equals("-retained")) {				setOp = RETAINED_WARNINGS;			} else if (option.equals("-count")) {				count = true;			} else {				throw new IllegalArgumentException("Unknown option: " + option);			}		}