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