public static boolean hasArg(String option) {
		if (CommandLineUtilities._command_line.hasOption(option) ||
				CommandLineUtilities._properties.containsKey(option))
			return true;
		return false;
	}