@RequiresWriteLock
  @Override
  public void reloadFromDisk(@NotNull PsiFile psiFile) {
    VirtualFile vFile = psiFile.getVirtualFile();
    assert vFile != null;

    Document document = FileDocumentManager.getInstance().getCachedDocument(vFile);
    if (document != null) {
      FileDocumentManager.getInstance().reloadFromDisk(document, psiFile.getProject());
    }
    else {
      reloadPsiAfterTextChange(psiFile.getViewProvider(), vFile);
    }
  }
@RequiresWriteLock
  @Override
  public void reloadFromDisk(@NotNull PsiFile psiFile)