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
*/
			synchronized public void set(String text) {
				super.set(text);
			}
		};
		
		
		
	
	public final static String HANDLE_TEMPORARY_PROBLEMS= "handleTemporaryProblems"; 
	
	
	
	private IBufferFactory fBufferFactory= new BufferFactory();
	
	private boolean fIsAboutToSave= false;
	
	private ISavePolicy fSavePolicy;
	
	private IPropertyChangeListener fPropertyListener;
	
	
	private GlobalAnnotationModelListener fGlobalAnnotationModelListener;	
	
	/**
	 * Constructor
	 */
	public CompilationUnitDocumentProvider() {
		fPropertyListener= new IPropertyChangeListener() {
			public void propertyChange(PropertyChangeEvent event) {