if (old != t) {
  public void setVerticalTextPosition(int t)  {    int old = verticalTextPosition;    verticalTextPosition = t;    if (old != t)      {        firePropertyChange(VERTICAL_TEXT_POSITION_CHANGED_PROPERTY, old, t);        revalidate();        repaint();      }  }