}
		public void handleOptionWithArgument(String option, String argument) {			if (option.equals("-prio")) {				setPrio(Filter.parsePriority(argument));			} else if (option.equals("-categories")) {				setCategories(argument);			} else {				throw new IllegalArgumentException("unknown option: " + option);			}		}