final long pnum = pages.get(owner);
long pnum = pages.get(owner);
    private final void setCurrentPage(DOMPage page) {        final long pnum = pages.get(owner);        if (pnum == page.page.getPageNum()) return;        //pages.remove(owner);        pages.put(owner, page.page.getPageNum());    }