Bug 40785 [plan item] Overview ruler improvements
- navigation from ruler to editor - hovering over header area shows number of errors/warning (header annotations in general)
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/filebuffers/CompilationUnitDocumentProvider2.java
*/
			public String getMessage() {
				return fProblem.getMessage();
			}
			/*
			 * @see IJavaAnnotation#isTemporary()
			 */
			public boolean isTemporary() {
				return true;
			}
			
			/*
			 * @see IJavaAnnotation#getArguments()
			 */
			public String[] getArguments() {
				return isProblem() ? fProblem.getArguments() : null;
			}
			/*
			 * @see IJavaAnnotation#getId()
			 */
			public int getId() {
				return fProblem.getID();
			}
			/*
			 * @see IJavaAnnotation#isProblem()
			 */
			public boolean isProblem() {
				return  WARNING_ANNOTATION_TYPE.equals(fType) || ERROR_ANNOTATION_TYPE.equals(fType);
			}