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