Bug 63349 [Markers] MarkerView leaks a Clipboard
The clipboard created by the MarkerView is leaked (not disposed).
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
if (updateNeeded) {
			refresh();
		}
	}
	private boolean updateNeeded(IResource[] oldResources, IResource[] newResources) {
		
		MarkerFilter filter = getFilter();
		if (!filter.isEnabled()) {
			return false;
		}
		
		int onResource = filter.getOnResource();
		if (onResource == MarkerFilter.ON_ANY_RESOURCE || onResource == MarkerFilter.ON_WORKING_SET) {
			return false;
		}
		if (newResources == null || newResources.length < 1) {
			return false;
		}
		if (oldResources == null || oldResources.length < 1) {
			return true;
		}
		if (Arrays.equals(oldResources, newResources)) {
			return false;
		}
		if (onResource == MarkerFilter.ON_ANY_RESOURCE_OF_SAME_PROJECT) {
			Collection oldProjects = MarkerFilter.getProjectsAsCollection(oldResources);
			Collection newProjects = MarkerFilter.getProjectsAsCollection(newResources);
			
			if (oldProjects.size() == newProjects.size()) {
				return !newProjects.containsAll(oldProjects);