Bug 264818 [Markers] Problems view: Status line shows wrong selection count summary
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java
/*
			 * (non-Javadoc)
			 * 
			 * @see
			 * org.eclipse.jface.viewers.ITreeContentProvider#getChildren(java
			 * .lang.Object)
			 */
			public Object[] getChildren(Object parentElement) {
				MarkerSupportItem[] children = ((MarkerSupportItem) parentElement)
						.getChildren();
				return getLimitedChildren(children);