@Override
  public @Nullable Document getLastCommittedDocument(@NotNull PsiFile file) {
    Document document = getDocument(file);
    return document == null ? null : getLastCommittedDocument(document);
  }
@Override
  public @Nullable Document getLastCommittedDocument(@NotNull PsiFile file)