public void setIcon(Icon defaultIcon) { if (default_icon == defaultIcon) return;  default_icon = defaultIcon; if (default_icon != null) {   } revalidate(); repaint(); }
public void setIcon(Icon i) { Icon old = default_icon; default_icon = i; if (old != i) { firePropertyChange(ICON_CHANGED_PROPERTY, old, i); revalidate(); repaint(); } }
	public void setIcon(Icon defaultIcon) {		if (default_icon == defaultIcon)			return;		default_icon = defaultIcon;		if (default_icon != null) {			// XXX FIXME - icons do not know their parent			//  			default_icon.setParent(this);		}		revalidate();		repaint();	}