firePropertyChange(PAINT_TICKS_CHANGED_PROPERTY, oldPaintTicks, paintTicks);
firePropertyChange("paintTicks", oldPaintTicks, paintTicks);
  public void setPaintTicks(boolean paint)  {    if (paint != paintTicks)      {	boolean oldPaintTicks = paintTicks;	paintTicks = paint;	firePropertyChange(PAINT_TICKS_CHANGED_PROPERTY, oldPaintTicks,	                   paintTicks);      }  }