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
Position position= fPositions[i];
					
					
					try {
						message= document.get(position.offset, position.length);
					} catch (BadLocationException ex) {
						
						continue;
					}
					annotationMap.put(
							new Annotation("org.eclipse.jdt.ui.occurrences", false, message), 
							position);
				}
				
				if (isCancelled())
					return Status.CANCEL_STATUS;
				
				synchronized (annotationModel) {
					if (annotationModel instanceof IAnnotationModelExtension) {
						((IAnnotationModelExtension)annotationModel).replaceAnnotations(fOccurrenceAnnotations, annotationMap);
					} else {
						removeOccurrenceAnnotations();
						Iterator iter= annotationMap.entrySet().iterator();
						while (iter.hasNext()) {
							Map.Entry mapEntry= (Map.Entry)iter.next(); 
							annotationModel.addAnnotation((Annotation)mapEntry.getKey(), (Position)mapEntry.getValue());
						}
					}
					fOccurrenceAnnotations= (Annotation[])annotationMap.keySet().toArray(new Annotation[annotationMap.keySet().size()]);
				}