if (blinkTimer != null) blinkTimer.stop(); blinkTimer = null;
  public void deinstall(JTextComponent c)  {    textComponent.removeFocusListener(this);    textComponent.removeMouseListener(this);    textComponent.removeMouseMotionListener(this);    textComponent.getDocument().removeDocumentListener(documentListener);    documentListener = null;    textComponent.removePropertyChangeListener(propertyChangeListener);    propertyChangeListener = null;    textComponent = null;  }