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
private boolean fQuickFixImagesInitialized= false;
			private String fType;
			
			
			public ProblemAnnotation(IProblem problem, ICompilationUnit cu) {
				
				fProblem= problem;
				fCompilationUnit= cu;
				setLayer(MarkerAnnotation.PROBLEM_LAYER + 1);
				
				if (IProblem.Task == fProblem.getID())
					fType= TASK_ANNOTATION_TYPE;
				else if (fProblem.isWarning())
					fType= WARNING_ANNOTATION_TYPE;
				else if (fProblem.isError())
					fType= ERROR_ANNOTATION_TYPE;
				else
					fType= INFO_ANNOTATION_TYPE;
			}
			
			private void initializeImages() {
				
				if (!fQuickFixImagesInitialized) {
					if (isProblem() && indicateQuixFixableProblems() && JavaCorrectionProcessor.hasCorrections(this)) { 
						if (!fgQuickFixImagesInitialized) {
							fgQuickFixImage= JavaPluginImages.get(JavaPluginImages.IMG_OBJS_FIXABLE_PROBLEM);
							fgQuickFixErrorImage= JavaPluginImages.get(JavaPluginImages.IMG_OBJS_FIXABLE_ERROR);
							fgQuickFixImagesInitialized= true;
						}
						if (ERROR_ANNOTATION_TYPE.equals(fType))