editorListenerDispatch.userWithWriteAccessEditorSaved(path, true);
FileEditorInput input = new FileEditorInput(file);
IDocumentProvider provider = getDocumentProvider(input);
if (!provider.canSaveDocument(input)) {
/*
* This happens when a file which is already saved is saved again by
* a buddy
*/
log.debug(".saveText File " + file.getName()