/** 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;
   }
 }