775776777778779780781782783784
pageBox.setPageNo(pages.size()); pages.add(pageBox); } public void removeLastPage() { PageBox pageBox = (PageBox)_pages.remove(_pages.size()-1); if (pageBox == getLastRequestedPage()) { setLastRequestedPage(null); } }