if (id1 != null && JavaProblemHover.isJavaProblemHover(id1))
if (id1 != null && AnnotationHover.isJavaProblemHover(id1))
		public int compare(Object object0, Object object1) {			JavaEditorTextHoverDescriptor element0= (JavaEditorTextHoverDescriptor)object0;			JavaEditorTextHoverDescriptor element1= (JavaEditorTextHoverDescriptor)object1;				String id0=	element0.getId();			String id1= element1.getId();						if (id0 != null && id0.equals(id1))				return 0;						if (id0 != null && JavaProblemHover.isJavaProblemHover(id0))				return -1;			if (id1 != null && JavaProblemHover.isJavaProblemHover(id1))				return +1;			// now compare non-problem hovers			if (element0.dependsOn(element1))				return -1;			if (element1.dependsOn(element0))				return +1;						return 0;		}