private TxPageFileFactory hawtPageFileFactory;
public void benchmark(int actorCount, BenchmarkAction<A> action) throws Exception {
TxPageFileFactory pff = getHawtPageFileFactory();
pff.getFile().delete();
pff.open();
try {
if( setup!=null ) {
setup.run(pff);
}
TxPageFile pf = pff.getTxPageFile();