firePropertyChange(VERTICAL_ALIGNMENT_CHANGED_PROPERTY, oldAlignment, verticalAlignment);
firePropertyChange("verticalAlignment", oldAlignment, verticalAlignment);
  public void setVerticalAlignment(int alignment)  {    if (alignment == verticalAlignment)      return;	int oldAlignment = verticalAlignment;	verticalAlignment = checkVerticalKey(alignment, "verticalAlignment");    firePropertyChange(VERTICAL_ALIGNMENT_CHANGED_PROPERTY,		       oldAlignment, verticalAlignment);  }