Bug 221521 [Markers] New markers API needs to be pared down
We have too much API in some of the new classes and they can be moved to internals
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerSupportRegistry.java
if (selectedTypes.size() > 0) {
			
			filter.setSelectedTypes(selectedTypes);
		}
		return filter;
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.core.runtime.dynamichelpers.IExtensionChangeHandler#removeExtension(org.eclipse.core.runtime.IExtension,
	 *      java.lang.Object[])
	 */
	public void removeExtension(IExtension extension, Object[] objects) {
		for (int i = 0; i < objects.length; i++) {
			if (objects[i] instanceof ProblemFilter) {
				registeredFilters.remove(objects[i]);
				continue;
			}
			if (objects[i] instanceof MarkerGroup) {
				markerGroups.remove(((MarkerGroup) objects[i]).getId());
				continue;
			}
			if (objects[i] instanceof MarkerGroupingEntry) {
				MarkerGroupingEntry entry = (MarkerGroupingEntry) objects[i];
				entry.getMarkerGroup().remove(entry);
				continue;
			}
			if (objects[i] instanceof AttributeMarkerGrouping) {
				AttributeMarkerGrouping entry = (AttributeMarkerGrouping) objects[i];
				entry.unmap();