if (option.equals("-noTabs")) setNoTabs(true); else
		public void handleOption(String option, String optionalExtraPart) {			if  (option.equals("-formatDates")) 				setFormatDates(true);			else 			throw new IllegalArgumentException("unknown option: " + option);		}