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