* @see org.eclipse.core.runtime.dynamicHelpers.IExtensionChangeHandler#addExtension(org.eclipse.core.runtime.dynamicHelpers.IExtensionTracker, org.eclipse.core.runtime.IExtension)
*/
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]);
}
}