@Override
  public @Nullable VirtualFile getFile(@NotNull Document document) {
    return document instanceof FrozenDocument ? null : document.getUserData(FILE_KEY);
  }
@Override
  public @Nullable VirtualFile getFile(@NotNull Document document)