Program: 48905
Project: 48905
Buggy source:
public DataSerializableFactory createFactory(){
  ConstructorFunction<Integer,IdentifiedDataSerializable> constructors[]=new ConstructorFunction[39];
  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[CONTAINS_ENTRY]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ContainsEntryOperation();
    }
  }
;
  constructors[COUNT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new CountOperation();
    }
  }
;
  constructors[ENTRY_SET]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new EntrySetOperation();
    }
  }
;
  constructors[GET_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new GetAllOperation();
    }
  }
;
  constructors[KEY_SET]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new KeySetOperation();
    }
  }
;
  constructors[PUT_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PutBackupOperation();
    }
  }
;
  constructors[PUT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PutOperation();
    }
  }
;
  constructors[REMOVE_ALL_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new RemoveAllBackupOperation();
    }
  }
;
  constructors[REMOVE_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new RemoveAllOperation();
    }
  }
;
  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[VALUES]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ValuesOperation();
    }
  }
;
  constructors[TXN_COMMIT_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnCommitBackupOperation();
    }
  }
;
  constructors[TXN_COMMIT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnCommitOperation();
    }
  }
;
  constructors[TXN_GENERATE_RECORD_ID]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnGenerateRecordIdOperation();
    }
  }
;
  constructors[TXN_LOCK_AND_GET]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnLockAndGetOperation();
    }
  }
;
  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_PUT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPutOperation();
    }
  }
;
  constructors[TXN_REMOVE_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRemoveAllOperation();
    }
  }
;
  constructors[TXN_REMOVE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRemoveOperation();
    }
  }
;
  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();
    }
  }
;
  return new ArrayDataSerializableFactory(constructors);
}

Fixed version (ground truth):
public DataSerializableFactory createFactory(){
  ConstructorFunction<Integer,IdentifiedDataSerializable> constructors[]=new ConstructorFunction[TXN_ROLLBACK_BACKUP + 1];
  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[CONTAINS_ENTRY]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ContainsEntryOperation();
    }
  }
;
  constructors[COUNT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new CountOperation();
    }
  }
;
  constructors[ENTRY_SET]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new EntrySetOperation();
    }
  }
;
  constructors[GET_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new GetAllOperation();
    }
  }
;
  constructors[KEY_SET]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new KeySetOperation();
    }
  }
;
  constructors[PUT_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PutBackupOperation();
    }
  }
;
  constructors[PUT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new PutOperation();
    }
  }
;
  constructors[REMOVE_ALL_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new RemoveAllBackupOperation();
    }
  }
;
  constructors[REMOVE_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new RemoveAllOperation();
    }
  }
;
  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[VALUES]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new ValuesOperation();
    }
  }
;
  constructors[TXN_COMMIT_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnCommitBackupOperation();
    }
  }
;
  constructors[TXN_COMMIT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnCommitOperation();
    }
  }
;
  constructors[TXN_GENERATE_RECORD_ID]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnGenerateRecordIdOperation();
    }
  }
;
  constructors[TXN_LOCK_AND_GET]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnLockAndGetOperation();
    }
  }
;
  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_PUT]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPutOperation();
    }
  }
;
  constructors[TXN_PUT_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnPutBackupOperation();
    }
  }
;
  constructors[TXN_REMOVE]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRemoveOperation();
    }
  }
;
  constructors[TXN_REMOVE_BACKUP]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRemoveBackupOperation();
    }
  }
;
  constructors[TXN_REMOVE_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRemoveAllOperation();
    }
  }
;
  constructors[TXN_REMOVE_ALL]=new ConstructorFunction<Integer,IdentifiedDataSerializable>(){
    public IdentifiedDataSerializable createNew(    Integer arg){
      return new TxnRemoveAllBackupOperation();
    }
  }
;
  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();
    }
  }
;
  return new ArrayDataSerializableFactory(constructors);
}