@ApiStatus.NonExtendable
  default @NotNull Document getFileDocument() {
    Document document = getViewProvider().getDocument();
    if (document == null) {
      throw new UnsupportedOperationException("No document is available for file " + getClass());
    }
    return document;
  }
@ApiStatus.NonExtendable
  default @NotNull Document getFileDocument()