return false;
	public void updateEditorImage(IJavaElement jelement) {		Image titleImage= editor.getTitleImage();		if (titleImage == null) {			return;		}		Image newImage = problemsDecorator.decorateImage(baseImage, jelement);		if (titleImage != newImage) {			postImageChange(newImage);		}	}