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.ILazyTreeContentProvider#updateElement(java.lang.Object,
			 *      int)
			 */
			public void updateElement(Object parent, int index) {
				MarkerItem newItem;
				if (parent instanceof MarkerItem)
					newItem = ((MarkerItem) parent).getChildren()[index];
				else
					newItem = ((CachedMarkerBuilder) parent).getElements()[index];
				viewer.replace(parent, index, newItem);
				updateChildCount(newItem, -1);
				if (!newItem.isConcrete()
						&& categoriesToExpand
								.contains(((MarkerCategory) newItem).getName())) {
					viewer.expandToLevel(newItem, 1);
					categoriesToExpand.remove(newItem);
				}
			}
		};
	}
	/**
	 * Return the selection listener for the page selection change.
	 * 
	 * @return ISelectionListener
	 */
	private ISelectionListener getPageSelectionListener() {
		return new ISelectionListener() {
			/**