public static String[] getOptionValues(String option)  {
		// Try and parse the list on the ";" separator.
		String arguments_to_parse = null;
		if (CommandLineUtilities._command_line.hasOption(option))
			arguments_to_parse = CommandLineUtilities._command_line.getOptionValue(option);
		if (CommandLineUtilities._properties.containsKey(option)) {
			arguments_to_parse = (String)CommandLineUtilities._properties.getProperty(option);
		}
		return arguments_to_parse.split(":");
	}