super.handleOptionWithArgument(option, argument);
if (option.equals("-loadbugs")) { bugsFilename = argument; } else { super.handleOptionWithArgument(option, argument); }
		protected void handleOptionWithArgument(String option, String argument) throws IOException {			super.handleOptionWithArgument(option, argument);		}