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