else if (option.equals("-timestamp"))
else if (option.equals("-output")) outputFilename = argument; else if (option.equals("-timestamp"))
		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 throw new IllegalArgumentException("Can't handle option " + option);					}