@Override
  public void dispose() {
    super.dispose();
    if (myHighlightingFuture != null) {
      myHighlightingFuture.cancel(true);
      myHighlightingFuture = null;
    }
  }
@Override
  public void dispose()