Bug 14444 java editor refers to internal jcore classes
ClassFileEditor CompilationUnitDocumentProvider JavaMarkerAnnotation
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitDocumentProvider.java
public void addListener(IAnnotationModelListener listener) {
				fListenerList.add(listener);
			}
			
			public void removeListener(IAnnotationModelListener listener) {
				fListenerList.remove(listener);
			}			
		};
			
		
		/**
		 * Document that can also be used by a background reconciler.
		 */
		protected static class PartiallySynchronizedDocument extends Document {
			
			/*
			 * @see IDocumentExtension#startSequentialRewrite(boolean)
			 */
			synchronized public void startSequentialRewrite(boolean normalized) {
				super.startSequentialRewrite(normalized);
		}
		
			/*
			 * @see IDocumentExtension#stopSequentialRewrite()
			 */
			synchronized public void stopSequentialRewrite() {
				super.stopSequentialRewrite();
			}