if (t != old) {
  public void setText(String t)  {    String old = text;    text = t;    if (t != old)      {        firePropertyChange(TEXT_CHANGED_PROPERTY, old, t);    revalidate();    repaint();  }  }