final long pnum = pages.get(owner);
final long pnum = pages.getLong(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());	}