@RequiresBackgroundThread
  protected final void markFileAsDirty(@NotNull VirtualFile file) {
    if (!(file instanceof LightVirtualFile)) {
      myDirtyFileSet.add(file);
    }
  }
@RequiresBackgroundThread
  protected final void markFileAsDirty(@NotNull VirtualFile file)