if (defaultRegistryProvider != null) { Status status = new Status(IStatus.ERROR, RegistryMessages.OWNER_NAME, IRegistryConstants.PLUGIN_ERROR, RegistryMessages.registry_default_exists, null); throw new CoreException(status); } defaultRegistryProvider = provider;
RegistryProviderFactory.setDefault(provider);
	public static void setDefaultRegistryProvider(IRegistryProvider provider) throws CoreException {		if (defaultRegistryProvider != null) {			Status status = new Status(IStatus.ERROR, RegistryMessages.OWNER_NAME, IRegistryConstants.PLUGIN_ERROR, RegistryMessages.registry_default_exists, null);			throw new CoreException(status);		}		defaultRegistryProvider = provider;	}