}
  public void setVerticalAlignment(int a)  {    int old = verticalAlignment;    verticalAlignment = a;    if (old != a)      {        firePropertyChange(VERTICAL_ALIGNMENT_CHANGED_PROPERTY, old, a);        revalidate();        repaint();      }  }