if (isMarkerChange) { return; }
	public void problemsChanged(IResource[] changedResources, boolean isMarkerChange) {		if (isMarkerChange) {			return;		}		IEditorInput input= fJavaEditor.getEditorInput();		if (input != null) { // might run async, tests needed			IJavaElement jelement= (IJavaElement) input.getAdapter(IJavaElement.class);			if (jelement != null) {				IResource resource= jelement.getResource();				for (int i = 0; i < changedResources.length; i++) {					if (changedResources[i].equals(resource)) {						updateEditorImage(jelement);					}				}			}		}	}	