Bug 206475 [Markers] Switch the markers view to a non virtual view
I will attach a patch for switching the markers view to a non-virtual one. I don't want to do this yet as I am not convinced that any of the problems I am seeing are anything to do with VIRTUAL.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/ExtendedMarkersView.java
* (non-Javadoc)
			 * 
			 * @see org.eclipse.jface.viewers.IContentProvider#inputChanged(org.eclipse.jface.viewers.Viewer,
			 *      java.lang.Object, java.lang.Object)
			 */
			public void inputChanged(Viewer viewer, Object oldInput,
					Object newInput) {
			}
			/*
			 * (non-Javadoc)
			 * 
			 * @see org.eclipse.jface.viewers.ILazyTreeContentProvider#updateChildCount(java.lang.Object,
			 *      int)
			 */
			public void updateChildCount(Object element, int currentChildCount) {
				int length;
				if (element instanceof MarkerItem)
					length = ((MarkerItem) element).getChildren().length;
				else
					
					length = ((CachedMarkerBuilder) element).getElements().length;
				int markerLimit = MarkerSupportInternalUtilities
						.getMarkerLimit();
				length = markerLimit > 0 ? Math.min(length, markerLimit)
						: length;
				if (currentChildCount == length)
					return;
				viewer.setChildCount(element, length);
			}
			/*