public DocumentViewModel getDocumentViewModel() {
        return documentViewModel;
    }

//    private Page getPageLock(int pageNumber) {
//        PageTree pageTree = getPageTree();
//        if (pageTree == null)
//            return null;
//        return pageTree.getPage(pageNumber, this);
//    }
//
//    private void removePageLock(Page page) {
//        PageTree pageTree = getPageTree();
//        if (pageTree != null) {
//            pageTree.releasePage(page, this);
//        }
//    }