super.paint(g);
  public void paint(Graphics g)  {    if (!isShowing())      return;    // Paint self first.    super.paint(g);    // Visit heavyweights as well, in case they were    // erased when we cleared the background for this container.    visitChildren(g, GfxPaintVisitor.INSTANCE, false);  }