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 all of the markers in the receiver.
	 * 
	 * @return IMarker[]
	 */
	public IMarker[] getAllMarkers() {
		MarkerItem[] elements = builder.getElements();
		Collection allMarkers = new ArrayList();
		for (int i = 0; i < elements.length; i++) {
			addMarkers(elements[i], allMarkers);
		}
		IMarker[] markers = new IMarker[allMarkers.size()];
		allMarkers.toArray(markers);
		return markers;
	}
	/**
	 * Return the group used for categorisation.
	 * 
	 * @return MarkerGroup
	 */
	MarkerGroup getCategoryGroup() {
		return builder.getCategoryGroup();
	}
	/**
	 * Return the clipboard for the receiver.
	 * 
	 * @return Clipboard
	 */
	Clipboard getClipboard() {