} else {
try {
PageDB oldPageDB = new PageDB(pagedbDir);
DPageDB newPageDB = new DPageDB(pagedbDir+".new");
oldPageDB.open(PageDB.READ);
newPageDB.open(DPageDB.WRITE + DPageDB.UNSORTED);
long total = oldPageDB.getSize();
long done = 0;
for (Page page : oldPageDB) {
newPageDB.addPage(page);
if (++done % 10000 == 0) {