}
  public void setFocusPainted(boolean p)  {    boolean old = focusPainted;    focusPainted = p;    if (old != focusPainted)      {        firePropertyChange(FOCUS_PAINTED_CHANGED_PROPERTY, old, p);        revalidate();        repaint();      }  }