Bug 30169 no hover message for bookmarks in overview ruler
20030121 hovering over bookmarks in the overview ruler should show the bookmark name it does not
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaMarkerAnnotation.java
}
	
	public void setOverlay(IProblemAnnotation problemAnnotation) {
		if (fOverlay != null)
			fOverlay.removeOverlaid(this);
			
		fOverlay= problemAnnotation;
		fNotRelevant= (fNotRelevant || fOverlay != null);
		
		if (problemAnnotation != null)
			problemAnnotation.addOverlaid(this);
	}
	
	/*
	 * @see IProblemAnnotation#hasOverlay()
	 */
	public boolean hasOverlay() {
		return fOverlay != null;
	}
	
	/*
	 * @see MarkerAnnotation#getImage(Display)
	 */
	public Image getImage(Display display) {
		if (fOverlay != null) {
			Image image= fOverlay.getImage(display);
			if (image != null)
				return image;
		}
		return super.getImage(display);