if (undoHandlerActivation != null)
service.deactivateHandler(undoHandlerActivation);
if (redoHandlerActivation != null)
service.deactivateHandler(redoHandlerActivation);
if (quickFixHandlerActivation != null)
service.deactivateHandler(quickFixHandlerActivation);
if (contentAssistHandlerActivation != null)