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
}
	
	/*
	 * @see IProblemAnnotation#addOverlaid(IProblemAnnotation)
	 */
	public void addOverlaid(IProblemAnnotation annotation) {
		
	}
	/*
	 * @see IProblemAnnotation#removeOverlaid(IProblemAnnotation)
	 */
	public void removeOverlaid(IProblemAnnotation annotation) {
		
	}
	
	/*
	 * @see IProblemAnnotation#getOverlaidIterator()
	 */
	public Iterator getOverlaidIterator() {
		
		return null;
	}
	
	/*
	 * @see org.eclipse.jdt.internal.ui.javaeditor.IProblemAnnotation#getAnnotationType()
	 */
	public AnnotationType getAnnotationType() {
		return fType;
	}
}