protected @NotNull DocumentWindow freezeWindow(@NotNull DocumentWindow document) {
    throw new UnsupportedOperationException();
  }
protected @NotNull DocumentWindow freezeWindow(@NotNull DocumentWindow document)