Bug 212733 [Markers] Problem view no longer updates when changing the visible marker limit
Version: 3.4.0 Build id: I20071211-0010 By default, the view shows 100 markers. When changing this limit (through marker prefs), the view doesn't update. One need to close/reopen for this to get taken into account. This is a regression.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/ExtendedMarkersView.java
*/
	MarkerItem[] getAllConcreteItems() {
		MarkerItem[] elements = builder.getElements();
		Collection allMarkers = new ArrayList();
		for (int i = 0; i < elements.length; i++) {
			addAllConcreteItems(elements[i], allMarkers);
		}
		MarkerItem[] markers = new MarkerItem[allMarkers.size()];
		allMarkers.toArray(markers);
		return markers;
	}
	/**
	 * Get all of the filters for the receiver.
	 * 
	 * @return Collection of {@link MarkerFieldFilterGroup}
	 */
	Collection getAllFilters() {
		return builder.getGenerator().getAllFilters();
	}
	/**
	 * Return all of the markers in the receiver.
	 * 
	 * @return IMarker[]
	 */
	IMarker[] getAllMarkers() {
		MarkerItem[] elements = builder.getElements();
		Collection allMarkers = new ArrayList();
		for (int i = 0; i < elements.length; i++) {
			addMarkers(elements[i], allMarkers);
		}