boolean documentChanged= !oldInput.equals(newInput); leave(true, documentChanged);
int flags= UNINSTALL | COMMIT | (oldInput.equals(newInput) ? 0 : DOCUMENT_CHANGED); leave(flags);
	public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {		// 5326: leave linked mode on document change		boolean documentChanged= !oldInput.equals(newInput);		leave(true, documentChanged);	}