@Override
  protected void recordFileRemovedEvent(@NotNull VirtualFile file) {
    addToDirtyFiles(file);
    super.recordFileRemovedEvent(file);
  }
@Override
  protected void recordFileRemovedEvent(@NotNull VirtualFile file)