else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_SAVE_FINISHED))
documentListener.onSaveFinished(documentEvent);
else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_SAVE))
documentListener.onSave(documentEvent);
else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_SAVE_AS))
documentListener.onSaveAs(documentEvent);
else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_SAVE_AS_DONE))
documentListener.onSaveAsDone(documentEvent);
else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_MODIFY_CHANGED))
documentListener.onModifyChanged(documentEvent);
else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_MOUSE_OVER))