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
/*
			 * @see IDocumentExtension#startSequentialRewrite(boolean)
			 */
			synchronized public void startSequentialRewrite(boolean normalized) {
				super.startSequentialRewrite(normalized);
		}
		
			/*
			 * @see IDocumentExtension#stopSequentialRewrite()
			 */
			synchronized public void stopSequentialRewrite() {
				super.stopSequentialRewrite();
			}
			
			/*
			 * @see IDocument#get()
			 */
			synchronized public String get() {
				return super.get();
			}
			
			/*