else if (option.equals("-quiet")) verbose = false; else throw new IllegalArgumentException("no option " + option);
fuzzyBugPatternMatcher.setComparePriorities(true); precisePriorityMatch = true; } else if (option.equals("-quiet")) verbose = false; else throw new IllegalArgumentException("no option " + option);
		protected void handleOption(String option, String optionExtraPart)				throws IOException {			if (option.equals("-overrideRevisionNames")) {				if (optionExtraPart.length() == 0)					overrideRevisionNames = true;				else					overrideRevisionNames = TigerSubstitutes.parseBoolean(optionExtraPart);			}			else if (option.equals("-noPackageMoves")) {				if (optionExtraPart.length() == 0)					noPackageMoves = true;				else					noPackageMoves = TigerSubstitutes.parseBoolean(optionExtraPart);			}			else 	if (option.equals("-precisePriorityMatch")) 				versionInsensitiveBugComparator.setComparePriorities(true);			else if (option.equals("-quiet")) verbose = false;			else throw new IllegalArgumentException("no option " + option);		}