registryObjects.removeExtensionFromNamespaceIndex(extensionId, extension.getNamespaceIdentifier());
	private String removeExtension(int extensionId) {		Extension extension = (Extension) registryObjects.getObject(extensionId, RegistryObjectManager.EXTENSION);		String xptName = extension.getExtensionPointIdentifier();		ExtensionPoint extPoint = registryObjects.getExtensionPointObject(xptName);		if (extPoint == null) {			registryObjects.removeOrphan(xptName, extensionId);			return null;		}		// otherwise, unlink the extension from the extension point		int[] existingExtensions = extPoint.getRawChildren();		int[] newExtensions = RegistryObjectManager.EMPTY_INT_ARRAY;		if (existingExtensions.length > 1) {			if (existingExtensions.length == 1)				newExtensions = RegistryObjectManager.EMPTY_INT_ARRAY;			newExtensions = new int[existingExtensions.length - 1];			for (int i = 0, j = 0; i < existingExtensions.length; i++)				if (existingExtensions[i] != extension.getObjectId())					newExtensions[j++] = existingExtensions[i];		}		link(extPoint, newExtensions);		return recordChange(extPoint, extension.getObjectId(), IExtensionDelta.REMOVED);	}