Program: 187998
Project: 187998
Buggy source:
public void test() throws Exception {
  MailboxFactory mailboxFactory=JAMailboxFactory.newMailboxFactory(10);
  Mailbox factoryMailbox=mailboxFactory.createMailbox();
  JAFactory factory=new JAFactory(factoryMailbox);
  (new JFileFactories(factoryMailbox)).setParent(factory);
  factory.defineActorType("String_Node_Str",IncrementCounterTransaction.class);
  factory.defineActorType("String_Node_Str",GetCounterTransaction.class);
  JAFuture future=new JAFuture();
  Mailbox dbMailbox=mailboxFactory.createAsyncMailbox();
  CounterDB db=new CounterDB(dbMailbox);
  db.setParent(factory);
  DurableTransactionLogger durableTransactionLogger=db.getDurableTransactionLogger();
  Path path=FileSystems.getDefault().getPath("String_Node_Str");
  System.out.println(path.toAbsolutePath());
  durableTransactionLogger.fileChannel=FileChannel.open(path,StandardOpenOption.WRITE,StandardOpenOption.CREATE);
  TransactionAggregator transactionAggregator=db.getTransactionAggregator();
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  int total=(Integer)(new AggregateTransaction("String_Node_Str")).send(future,transactionAggregator);
  assertEquals(6,total);
  durableTransactionLogger.fileChannel.close();
  mailboxFactory.close();
}

Fixed version (ground truth):
public void test() throws Exception {
  MailboxFactory mailboxFactory=JAMailboxFactory.newMailboxFactory(10);
  Mailbox factoryMailbox=mailboxFactory.createMailbox();
  JAFactory factory=new JAFactory(factoryMailbox);
  (new JFileFactories(factoryMailbox)).setParent(factory);
  factory.defineActorType("String_Node_Str",IncrementCounterTransaction.class);
  factory.defineActorType("String_Node_Str",GetCounterTransaction.class);
  JAFuture future=new JAFuture();
  Mailbox dbMailbox=mailboxFactory.createAsyncMailbox();
  CounterDB db=new CounterDB(dbMailbox);
  db.setParent(factory);
  DurableTransactionLogger durableTransactionLogger=db.getDurableTransactionLogger();
  Path path=FileSystems.getDefault().getPath("String_Node_Str");
  System.out.println(path.toAbsolutePath());
  durableTransactionLogger.fileChannel=FileChannel.open(path,StandardOpenOption.WRITE,StandardOpenOption.CREATE);
  durableTransactionLogger.currentPosition=0L;
  TransactionAggregator transactionAggregator=db.getTransactionAggregator();
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  (new AggregateTransaction("String_Node_Str")).sendEvent(transactionAggregator);
  int total=(Integer)(new AggregateTransaction("String_Node_Str")).send(future,transactionAggregator);
  assertEquals(6,total);
  durableTransactionLogger.fileChannel.close();
  mailboxFactory.close();
}