else if (option.equals("-findSource")) searchSourcePaths.add(argument);
		protected void handleOptionWithArgument(String option, String argument)				throws IOException {			if (option.equals("-name"))				revisionName = argument;			else if (option.equals("-timestamp"))				revisionTimestamp = Date.parse(argument);			else if (option.equals("-source"))					sourcePaths.add(argument);			else				throw new IllegalArgumentException("Can't handle option "						+ option);		}