Program: 48963
Project: 48963
Buggy source:
public DataSerializableFactory createFactory(){
  ConstructorFunction<Integer,IdentifiedDataSerializable> constructors[]=new ConstructorFunction[TRANSACTION_ROLLBACK + 1];
  constructors[OFFER]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new OfferOperation();
    }
  }
;
  constructors[OFFER_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new OfferBackupOperation();
    }
  }
;
  constructors[POLL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PollOperation();
    }
  }
;
  constructors[POLL_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PollBackupOperation();
    }
  }
;
  constructors[PEEK]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PeekOperation();
    }
  }
;
  constructors[ADD_ALL_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new AddAllBackupOperation();
    }
  }
;
  constructors[ADD_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new AddAllOperation();
    }
  }
;
  constructors[CLEAR_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ClearBackupOperation();
    }
  }
;
  constructors[CLEAR]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ClearOperation();
    }
  }
;
  constructors[COMPARE_AND_REMOVE_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new CompareAndRemoveBackupOperation();
    }
  }
;
  constructors[COMPARE_AND_REMOVE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new CompareAndRemoveOperation();
    }
  }
;
  constructors[CONTAINS]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ContainsOperation();
    }
  }
;
  constructors[DRAIN_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new DrainBackupOperation();
    }
  }
;
  constructors[DRAIN]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new DrainOperation();
    }
  }
;
  constructors[ITERATOR]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new IteratorOperation();
    }
  }
;
  constructors[QUEUE_EVENT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueEvent();
    }
  }
;
  constructors[QUEUE_EVENT_FILTER]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueEventFilter();
    }
  }
;
  constructors[QUEUE_ITEM]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueItem();
    }
  }
;
  constructors[QUEUE_REPLICATION]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueReplicationOperation();
    }
  }
;
  constructors[REMOVE_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new RemoveBackupOperation();
    }
  }
;
  constructors[REMOVE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new RemoveOperation();
    }
  }
;
  constructors[SIZE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new SizeOperation();
    }
  }
;
  constructors[TXN_OFFER_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnOfferBackupOperation();
    }
  }
;
  constructors[TXN_OFFER]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnOfferOperation();
    }
  }
;
  constructors[TXN_POLL_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPollBackupOperation();
    }
  }
;
  constructors[TXN_POLL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPollOperation();
    }
  }
;
  constructors[TXN_PREPARE_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPrepareBackupOperation();
    }
  }
;
  constructors[TXN_PREPARE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPrepareOperation();
    }
  }
;
  constructors[TXN_RESERVE_OFFER]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnReserveOfferOperation();
    }
  }
;
  constructors[TXN_RESERVE_POLL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnReservePollOperation();
    }
  }
;
  constructors[TXN_ROLLBACK_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRollbackBackupOperation();
    }
  }
;
  constructors[TXN_ROLLBACK]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRollbackOperation();
    }
  }
;
  constructors[CHECK_EVICT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new CheckAndEvictOperation();
    }
  }
;
  constructors[TRANSACTION_ROLLBACK]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueTransactionRollbackOperation();
    }
  }
;
  return new ArrayDataSerializableFactory(constructors);
}

Fixed version (ground truth):
public DataSerializableFactory createFactory(){
  ConstructorFunction<Integer,IdentifiedDataSerializable> constructors[]=new ConstructorFunction[TX_QUEUE_ITEM + 1];
  constructors[OFFER]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new OfferOperation();
    }
  }
;
  constructors[OFFER_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new OfferBackupOperation();
    }
  }
;
  constructors[POLL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PollOperation();
    }
  }
;
  constructors[POLL_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PollBackupOperation();
    }
  }
;
  constructors[PEEK]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PeekOperation();
    }
  }
;
  constructors[ADD_ALL_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new AddAllBackupOperation();
    }
  }
;
  constructors[ADD_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new AddAllOperation();
    }
  }
;
  constructors[CLEAR_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ClearBackupOperation();
    }
  }
;
  constructors[CLEAR]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ClearOperation();
    }
  }
;
  constructors[COMPARE_AND_REMOVE_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new CompareAndRemoveBackupOperation();
    }
  }
;
  constructors[COMPARE_AND_REMOVE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new CompareAndRemoveOperation();
    }
  }
;
  constructors[CONTAINS]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ContainsOperation();
    }
  }
;
  constructors[DRAIN_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new DrainBackupOperation();
    }
  }
;
  constructors[DRAIN]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new DrainOperation();
    }
  }
;
  constructors[ITERATOR]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new IteratorOperation();
    }
  }
;
  constructors[QUEUE_EVENT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueEvent();
    }
  }
;
  constructors[QUEUE_EVENT_FILTER]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueEventFilter();
    }
  }
;
  constructors[QUEUE_ITEM]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueItem();
    }
  }
;
  constructors[QUEUE_REPLICATION]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueReplicationOperation();
    }
  }
;
  constructors[REMOVE_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new RemoveBackupOperation();
    }
  }
;
  constructors[REMOVE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new RemoveOperation();
    }
  }
;
  constructors[SIZE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new SizeOperation();
    }
  }
;
  constructors[TXN_OFFER_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnOfferBackupOperation();
    }
  }
;
  constructors[TXN_OFFER]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnOfferOperation();
    }
  }
;
  constructors[TXN_POLL_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPollBackupOperation();
    }
  }
;
  constructors[TXN_POLL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPollOperation();
    }
  }
;
  constructors[TXN_PREPARE_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPrepareBackupOperation();
    }
  }
;
  constructors[TXN_PREPARE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPrepareOperation();
    }
  }
;
  constructors[TXN_RESERVE_OFFER]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnReserveOfferOperation();
    }
  }
;
  constructors[TXN_RESERVE_POLL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnReservePollOperation();
    }
  }
;
  constructors[TXN_ROLLBACK_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRollbackBackupOperation();
    }
  }
;
  constructors[TXN_ROLLBACK]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRollbackOperation();
    }
  }
;
  constructors[CHECK_EVICT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new CheckAndEvictOperation();
    }
  }
;
  constructors[TRANSACTION_ROLLBACK]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new QueueTransactionRollbackOperation();
    }
  }
;
  constructors[TX_QUEUE_ITEM]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxQueueItem();
    }
  }
;
  return new ArrayDataSerializableFactory(constructors);
}