Bug 53010 Editor preferences do not take effect on open editors
I-20040224 Go to the Java > Editor > Syntax preference page. Change the keyword color to red. Press Ok. At this point, we use to see the preview update. Not on this build (problem #1). Press Ok, and close the pref dialog. The java editor that was already open did not update. I had to close it and reopen it for the colors to take effect (problem #2)
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
try {
				
				if (isCancelled())
					return Status.CANCEL_STATUS;
				
				ITextViewer textViewer= getViewer(); 
				if (textViewer == null)
					return Status.CANCEL_STATUS;
				
				IDocument document= textViewer.getDocument();
				if (document == null)
					return Status.CANCEL_STATUS;
				
				IDocumentProvider documentProvider= getDocumentProvider();
				if (documentProvider == null)
					return Status.CANCEL_STATUS;
			
				IAnnotationModel annotationModel= documentProvider.getAnnotationModel(getEditorInput());
				if (annotationModel == null)
					return Status.CANCEL_STATUS;
				
				
				int length= fPositions.length;
				Map annotationMap= new HashMap(length);
				for (int i= 0; i < length; i++) {
					
					if (isCancelled())
						return Status.CANCEL_STATUS; 
					
					String message;