Bug 65711 [Problems] Problems View takes too long to show
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerList.java
return new BookmarkMarker(marker);
		} else if (marker.isSubtypeOf(IMarker.PROBLEM)) {
			return new ProblemMarker(marker);
		} else return new ConcreteMarker(marker);
	}
	
	public void refresh() {
		for (int markerIdx = 0; markerIdx < markers.length; markerIdx++) {
			ConcreteMarker next = markers[markerIdx];
			next.refresh();
		}
	}
	
	public List asList() {
		return Arrays.asList(markers);
	}
	
	public MarkerList findMarkers(Collection ofIMarker) {
		List result = new ArrayList(ofIMarker.size());
		
		Iterator iter = ofIMarker.iterator();
		while (iter.hasNext()) {
			IMarker next = (IMarker)iter.next();
			
			ConcreteMarker marker = getMarker(next);
			if (marker != null) {
				result.add(marker);
			}
		}