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
/**
     * Maps from marker type id to MarkerType.
     */
    private HashMap types;
    /**
     * Creates a new marker types model.
     */
    public MarkerTypesModel() {
        types = readTypes();
    }
    /**
     * Returns the marker type with the given id, or <code>null</code> if there is no such marker type.
     */
    public MarkerType getType(String id) {
        return (MarkerType) types.get(id);
    }