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
if (isProblem() || isTask())
			return getMarker().getAttribute(IMarker.MESSAGE, ""); 
		return ""; 
	}
	/*
	 * @see IProblemAnnotation#isError()
	 */
	public boolean isError() {
		return fType == AnnotationType.ERROR;
	}
	/*
	 * @see IProblemAnnotation#isWarning()
	 */
	public boolean isWarning() {
		return fType == AnnotationType.WARNING;
	}
	
	/*
	 * @see IProblemAnnotation#isTemporary()
	 */
	public boolean isTemporary() {
		return false;
	}
	
	/*
	 * @see IProblemAnnotation#getArguments()
	 */
	public String[] getArguments() {
		if (isProblem())
			return Util.getProblemArgumentsFromMarker(getMarker().getAttribute(IJavaModelMarker.ARGUMENTS, ""));