Bug 17147 Java Editor: missing error indication
F1. - create new Java project - create new class Test - add the word 'Test' as shown below public class Test { Test } Observe: and error appears in the overview bar but no wiggly line. Hovering over the closing bracket shows an error hover.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/ProblemPainter.java
}
	}
	
	private void disablePainting(boolean redraw) {
		if (fIsPainting) {
			fIsPainting= false;
			fTextWidget.removePaintListener(this);
			if (redraw && hasProblems())
				handleDrawRequest(null);
		}
	}
	
	private void setModel(IAnnotationModel model) {
		if (fModel != model) {
			if (fModel != null)
				fModel.removeAnnotationModelListener(this);
			fModel= model;
			if (fModel != null) {
				try {
					fIsSettingModel= true;
					fModel.addAnnotationModelListener(this);
				} finally {
					fIsSettingModel= false;
				}
			}
		}
	}
	
	private void catchupWithModel() {	
		if (fProblemPositions != null) {