StateManager.DEBUG = options != null;
	private void setDebugOptions() {		DebugOptions options = DebugOptions.getDefault();		// may be null if debugging is not enabled		if (options == null)			return;		MONITOR_CLASSES = options.getBooleanOption(OPTION_MONITOR_CLASSES, false);		MONITOR_RESOURCE_BUNDLES = options.getBooleanOption(OPTION_MONITOR_RESOURCEBUNDLES, false);		TRACE_CLASSES = options.getBooleanOption(OPTION_TRACE_CLASSES, false);		TRACE_BUNDLES = options.getBooleanOption(OPTION_TRACE_BUNDLES, false);		TRACE_FILENAME = options.getOption(OPTION_TRACE_FILENAME);		TRACE_FILTERS = options.getOption(OPTION_TRACE_FILTERS);		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);	}