Bug 96114 [IDE] should remove dependency on IPluginRegistry
We should remove our dependency on IPluginRegistry in favour of the new IExtensionRegistry. This should be a trivial migration.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/tasklist/MarkerTypesModel.java
IExtension[] extensions = point.getExtensions();
            for (int i = 0; i < extensions.length; ++i) {
                IExtension ext = extensions[i];
                String id = ext.getUniqueIdentifier();
                String label = ext.getLabel();
                if (label.equals("")) {
                    label = getWellKnownLabel(id);
                }
                ArrayList supersList = new ArrayList();
                IConfigurationElement[] configElements = ext
                        .getConfigurationElements();
                for (int j = 0; j < configElements.length; ++j) {
                    IConfigurationElement elt = configElements[j];
                    if (elt.getName().equalsIgnoreCase("super")) {
                        String sup = elt.getAttribute("type");
                        if (sup != null) {
                            supersList.add(sup);
                        }
                    }
                }
                String[] superTypes = new String[supersList.size()];
                supersList.toArray(superTypes);
                MarkerType type = new MarkerType(this, id, label, superTypes);
                types.put(id, type);
            }
        }
        return types;
    }
}