BasicLocation.DEBUG =  options.getBooleanOption(OPTION_LOCATION, false);
	private void setDebugOptions() {		DebugOptions options = DebugOptions.getDefault();		// may be null if debugging is not enabled		if (options == null)			return;		StateManager.DEBUG = options != null;		StateManager.DEBUG_READER = options.getBooleanOption(OPTION_RESOLVER_READER, false);		StateManager.MONITOR_PLATFORM_ADMIN = options.getBooleanOption(OPTION_MONITOR_PLATFORM_ADMIN, false);		StateManager.DEBUG_PLATFORM_ADMIN = options.getBooleanOption(OPTION_PLATFORM_ADMIN, false);		StateManager.DEBUG_PLATFORM_ADMIN_RESOLVER = options.getBooleanOption(OPTION_PLATFORM_ADMIN_RESOLVER, false);		PluginConverterImpl.DEBUG = options.getBooleanOption(OPTION_CONVERTER, false);	}