public void setMargin(Insets m) { margin = m; revalidate(); repaint(); }
public void setMargin(Insets m) { Insets old = margin; margin = m; if (m != old) { firePropertyChange(MARGIN_CHANGED_PROPERTY, old, m); revalidate(); repaint(); } }
	public void setMargin(Insets m) {		margin = m;		revalidate();		repaint();	}