if (old != i) {
  public void setIcon(Icon i)      {    Icon old = default_icon;    default_icon = i;    if (old != i)      {        firePropertyChange(ICON_CHANGED_PROPERTY, old, i);    revalidate();    repaint();  }  }