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