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