firePropertyChange(MARGIN_CHANGED_PROPERTY, oldMargin, this.margin);
firePropertyChange("margin", oldMargin, this.margin);
  public void setMargin(Insets margin)  {    if ((this.margin != null && margin == null)        || (this.margin == null && margin != null)        || (margin != null && this.margin != null        && (margin.left != this.margin.left        || margin.right != this.margin.right || margin.top != this.margin.top        || margin.bottom != this.margin.bottom)))      {	Insets oldMargin = this.margin;	this.margin = margin;	firePropertyChange(MARGIN_CHANGED_PROPERTY, oldMargin, this.margin);	revalidate();	repaint();      }	} // setMargin()