@Override
  public @NotNull FileEditorState readState(@NotNull Element sourceElement, @NotNull Project project, @NotNull VirtualFile file) {
    LargeFileEditorState state = new LargeFileEditorState();
    if (JDOMUtil.isEmpty(sourceElement)) {
      return state;
    }
    state.caretPageNumber = StringUtilRt.parseLong(sourceElement.getAttributeValue(CARET_PAGE_NUMBER_ATTR), 0);
    state.caretSymbolOffsetInPage = StringUtilRt.parseInt(sourceElement.getAttributeValue(CARET_PAGE_SYMBOL_OFFSET_ATTR), 0);
    return state;
  }
@Override
  public @NotNull FileEditorState readState(@NotNull Element sourceElement, @NotNull Project project, @NotNull VirtualFile file)