@Override
  public @Nullable Document getDocument() {
    assert myFile.isValid() : "should not be called on references to deleted file: " + myFile;
    return FileDocumentManager.getInstance().getDocument(myFile);
  }
@Override
  public @Nullable Document getDocument()