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