@RequiresBackgroundThread
  protected final void clearCache() {
    myFileTree.clear();
    myDirtyFileSet.clear();
    myFile2Highlighter.clear();
  }
@RequiresBackgroundThread
  protected final void clearCache()