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))
documentListener.onMouseOver(documentEvent);
else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_MOUSE_OUT))
documentListener.onMouseOut(documentEvent);
else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_FOCUS))
documentListener.onFocus(documentEvent);
else if (documentEventName.equalsIgnoreCase(IDocument.EVENT_ON_ALPHA_CHAR_INPUT))