Bug 41443 overview ruler not working
smoke test for 20030812 The overview ruler in the Java editor does not work when starting with a fresh workspace as described in the smoke test scenario.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
type= IMarker.TASK;
			} else if (a.getAnnotationType() == AnnotationType.WARNING) {
				type= IMarker.PROBLEM;
				severity= IMarker.SEVERITY_WARNING;
			} else if (a.getAnnotationType() == AnnotationType.ERROR) {
				type= IMarker.PROBLEM;
				severity= IMarker.SEVERITY_ERROR;
			}				
			Preferences workbenchTextEditorPrefStore= Platform.getPlugin("org.eclipse.ui.workbench.texteditor").getPluginPreferences(); 
			Iterator iter= fAnnotationPreferences.getAnnotationPreferences().iterator();
			boolean isNavigationTarget= false;
			while (iter.hasNext()) {
				AnnotationPreference annotationPref= (AnnotationPreference)iter.next();
				if (annotationPref.getMarkerType().equals(type) && annotationPref.getSeverity() == severity) {
					String key;
					if (forward)
						key= annotationPref.getIsGoToNextNavigationTargetKey();
					else
						key= annotationPref.getIsGoToPreviousNavigationTargetKey();
					if (key != null)
						isNavigationTarget= workbenchTextEditorPrefStore.getBoolean(key);
					break;
				}
				annotationPref= null;
			}
			
			if (a.hasOverlay() || !isNavigationTarget)
				continue;
				
			Position p= model.getPosition((Annotation) a);