/** @generated */
 public void deactivate() {
   getTransactionalUpdateManager().uninstall();
   super.deactivate();
   TransactionalUpdateManager updateManager =
       (TransactionalUpdateManager)
           getViewer().getProperty(TransactionalUpdateManager.class.getName());
   if (updateManager != null) {
     updateManager.dispose();
   }
 }
 /** @generated */
 public void setWidget(Widget widget) {
   if (widget == null) {
     myTreeEditPartAdapter = null;
   }
   super.setWidget(widget);
 }
 /** @generated */
 public void activate() {
   myUpdateManager = new TransactionalUpdateManager(getViewer());
   getViewer().setProperty(TransactionalUpdateManager.class.getName(), myUpdateManager);
   super.activate();
   getTransactionalUpdateManager().install(TransactionUtil.getEditingDomain(getNotationView()));
 }