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
* 
			 * @return TreeViewer
			 */
			private TreeViewer getViewer() {
				return viewer;
			}
			/*
			 * (non-Javadoc)
			 * 
			 * @see org.eclipse.ui.progress.UIJob#runInUIThread(org.eclipse.core.runtime.IProgressMonitor)
			 */
			public IStatus runInUIThread(IProgressMonitor monitor) {
				if (viewer.getControl().isDisposed()) {
					return Status.CANCEL_STATUS;
				}
				if (monitor.isCanceled())
					return Status.CANCEL_STATUS;
				
				
				if (builder.getGenerator().isShowingHierarchy()
						&& categoriesToExpand.isEmpty()) {
					MarkerCategory[] categories = builder.getCategories();
					if (categories.length == 1)
						categoriesToExpand.add(categories[0].getName());
				}
				getViewer().refresh(true);
				updateTitle();
				if (preservedSelection.size() > 0) {
					Collection newSelection = new ArrayList();
					MarkerItem[] markerEntries = builder.getMarkerEntries();