public static String getOptionValue(String option) {
		if (CommandLineUtilities._command_line.hasOption(option))
			return CommandLineUtilities._command_line.getOptionValue(option);
		if (CommandLineUtilities._properties.containsKey(option))
			return (String)CommandLineUtilities._properties.getProperty(option);
		return null;
	}