private static @NotNull VirtualFile getVirtualFile(@NotNull PsiFile file) {
    return file.getViewProvider().getVirtualFile();
  }
private static @NotNull VirtualFile getVirtualFile(@NotNull PsiFile file)