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