*/
public void addExtension(IExtensionTracker tracker, IExtension extension) {
IConfigurationElement[] addedElements = extension.getConfigurationElements();
for (int i = 0; i < addedElements.length; i++) {
PropertyPagesRegistryReader reader = new PropertyPagesRegistryReader(this);
reader.readElement(addedElements[i]);
}
}
/**
* Return the contributors for element filters on the