firePropertyChange("caret", caret, newCaret);
if (caret != null) caret.deinstall(this);  Caret oldCaret = caret;
  public void setCaret(Caret newCaret)  {    firePropertyChange("caret", caret, newCaret);    caret = newCaret;  }