/** Handles mouse up events. The events are forwarded to the current tracker. */
 public void mouseUp(MouseEvent e, int x, int y) {
   view().unfreezeView();
   if (fChild != null) { // JDK1.1 doesn't guarantee mouseDown, mouseDrag, mouseUp
     fChild.mouseUp(e, x, y);
     fChild.deactivate();
     fChild = null;
   }
 }
 /**
  * Called when the mouse button has been released on a Viewer.
  *
  * @param mouseEvent The SWT mouse event
  * @param viewer The source of the event.
  */
 public void mouseUp(MouseEvent mouseEvent, EditPartViewer viewer) {
   Tool tool = getActiveTool();
   if (tool != null) tool.mouseUp(mouseEvent, viewer);
 }