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/markers/internal/MarkerTypesModel.java
/**
     * Returns all known marker types.
     */
    public MarkerType[] getTypes() {
        MarkerType[] result = new MarkerType[types.size()];
        types.values().toArray(result);
        return result;
    }
    /**
     * Returns the label for the given marker type.
     * Workaround until we have labels in XML.
     */
    private String getWellKnownLabel(String type) {
        if (type.equals(IMarker.PROBLEM))
            return "Problem";
        if (type.equals(IMarker.TASK))
            return "Task";
        if (type.equals("org.eclipse.jdt.core.problem"))
            return "Java Problem";
        return type;
    }
    /**
     * Reads the marker types from the registry.
     */
    private HashMap readTypes() {
        HashMap types = new HashMap();
        IExtensionPoint point = Platform.getPluginRegistry().getExtensionPoint(
                ResourcesPlugin.PI_RESOURCES, ResourcesPlugin.PT_MARKERS);
        if (point != null) {