}
PageDB orig = new PageDB(args[1]);
PageDB dest = new PageDB(args[2]);
long unfetched = orig.getSize() - orig.getFetchedSize();
PageDBTrimmer trimmer = new PageDBTrimmer();
CrawlerProgress cp = new CrawlerProgress(0);
cp.addDiscovered(unfetched);
trimmer.trimPageDB(orig, dest, cp);
} else if ("reset".equals(cmd)) {
if (args.length < 3) {