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