g.drawRect(t.x, t.y, t.width, t.height);
g.drawRect(t.x, t.y, t.width - 2, t.height - 2);
  protected void paintFocus(Graphics g, Rectangle t, Dimension d)  {    g.setColor(focusColor);    g.drawRect(t.x, t.y, t.width, t.height);    // FIXME: we seem to be drawing too tight a rectangle here, perhaps there    // is some padding to do somewhere???  }