void stopWatching() {
      if (tailWatcher != null) {
        if (spy != null) {
          getDocument().removeDocumentListener(spy);
          spy = null;
        }
        tailWatcher.dispose();
      }
    }
void stopWatching()