public void setPaintLabels(boolean paint) {  }
public void setPaintLabels(boolean paint) { if (paint != paintLabels) { boolean oldPaintLabels = paintLabels; paintLabels = paint; firePropertyChange(PAINT_LABELS_CHANGED_PROPERTY, oldPaintLabels, paintLabels); } }
	public void setPaintLabels(boolean paint) {		// TODO	} // setPaintLabels()