if (old != t) {
  public void setHorizontalTextPosition(int t)  {    int old = horizontalTextPosition;    horizontalTextPosition = t;    if (old != t)      {        firePropertyChange(HORIZONTAL_TEXT_POSITION_CHANGED_PROPERTY, old, t);        revalidate();        repaint();      }  }