if (horizontalAlignment == alignment) return;
  public void setHorizontalAlignment(int alignment)  {    int oldAlignment = horizontalAlignment;    horizontalAlignment = checkHorizontalKey(alignment, "horizontalAlignment");    firePropertyChange(HORIZONTAL_ALIGNMENT_CHANGED_PROPERTY, oldAlignment,                       horizontalAlignment);  }