if (pressed_icon != old) {
  public void setPressedIcon(Icon pressedIcon)  {    Icon old = pressed_icon;    pressed_icon = pressedIcon;    if (pressed_icon != old)      {        firePropertyChange(PRESSED_ICON_CHANGED_PROPERTY, old, pressed_icon);    revalidate();    repaint();  }  }