Bug 40347 [misc] Renaming a project with an open editor fills log
I20030716+plugin-export 1) have a Java file open in the Java editor 2) rename the enclosing project -> exception in log but no stacktrace
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitDocumentProvider.java
extension.setIsActive(enable);
				}
			}
		}
	}
	
	/**
	 * Adds a listener that reports changes from all compilation unit annotation models.
	 */
	public void addGlobalAnnotationModelListener(IAnnotationModelListener listener) {
		fGlobalAnnotationModelListener.addListener(listener);
	}
	/**
	 * Removes the listener.
	 */	
	public void removeGlobalAnnotationModelListener(IAnnotationModelListener listener) {
		fGlobalAnnotationModelListener.removeListener(listener);
	}
	
	/**
	 * Returns whether the given element is connected to this document provider.
	 * 
	 * @param element the element
	 * @return <code>true</code> if the element is connected, <code>false</code> otherwise
	 */
	boolean isConnected(Object element) {
		return getElementInfo(element) != null;	
	}
}