private SerializedPageWithSession restoreStrippedSerializedPage(SerializedPageWithSession page)
{
List<SerializedPage> pages = new ArrayList<SerializedPage>(page.pages.size());
for (Iterator i = page.pages.iterator(); i.hasNext();)
{
SerializedPage sp = (SerializedPage)i.next();
byte data[] = getPageData(page.sessionId, sp.getPageId(), sp.getPageMapName(),
sp.getVersionNumber(), sp.getAjaxVersionNumber());
pages.add(new SerializedPage(sp.getPageId(), sp.getPageMapName(),
sp.getVersionNumber(), sp.getAjaxVersionNumber(), data));
}
return new SerializedPageWithSession(page.sessionId, page.pageId, page.pageMapName,
page.versionNumber, page.ajaxVersionNumber, pages);
}