if (old != a) {
  public void setHorizontalAlignment(int a)  {    int old = horizontalAlignment;    horizontalAlignment = a;    if (old != a)      {        firePropertyChange(HORIZONTAL_ALIGNMENT_CHANGED_PROPERTY, old, a);        revalidate();        repaint();      }  }