newPageManager.destroy();
}
private PageStoreManager newPersistentPageManager(String appName)
{
IDataStore dataStore = new InMemoryPageStore();
IPageStore pageStore = new DefaultPageStore(new JavaSerializer(appName), dataStore, 4);
IPageManagerContext pageManagerContext = new DummyPageManagerContext();
return new PageStoreManager(appName, pageStore, pageManagerContext);
}