} else if (option.equals("-bulk")) { listFile = argument;
		protected void handleOptionWithArgument(String option, String argument) throws IOException {			if (option.equals("-categories")) {				categories = argument;			} else if (option.equals("-abbrevs")) {				abbrevs = argument;			} else if (option.equals("-minPriority")) {				minPriority = Integer.parseInt(argument);			} else {				throw new IllegalArgumentException("Unknown option: " + option);			}		}