/** @generated */
 public void dispose() {
   if (deleteAction != null) {
     deleteAction.dispose();
     deleteAction = null;
   }
   super.dispose();
 }
 /** @generated */
 public DiagramEditorContextMenuProvider(IWorkbenchPart part, EditPartViewer viewer) {
   super(part, viewer);
   this.part = part;
   deleteAction =
       new edu.toronto.cs.se.modelepedia.classdiagram_mavo.diagram.part.DeleteElementAction(part);
   deleteAction.init();
 }