(new JidFactories()).initialize(factoryMailbox, factory);
(new JFileFactories()).initialize(factoryMailbox, factory);
factory.defineActorType("inc", IncrementCounterTransaction.class);
factory.defineActorType("get", GetCounterTransaction.class);
Path directoryPath = FileSystems.getDefault().getPath("CounterTest");
JAFuture future = new JAFuture();
AggregateTransaction inc = new AggregateTransaction("inc");
AggregateTransaction get = new AggregateTransaction("get");
System.out.println("db1");
CounterDB db1 = new CounterDB(mailboxFactory, factory, directoryPath);