firePropertyChange("selectionColor", oldColor, newColor);
  public void setSelectionColor(Color newColor)  {    firePropertyChange("selectionColor", caretColor, newColor);    selectionColor = newColor;  }