Program: 113601
Project: 113601
Buggy source:
private void initializeOperations(){
  OSDOperation op=new ReadOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new WriteOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new DeleteOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new TruncateOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new InternalGetGmaxOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new InternalTruncateOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CheckObjectOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new InternalGetFileSizeOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new ShutdownOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new LocalReadOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupStartOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupIsRunningOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupStopOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupGetStatusOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupGetResultsOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new GetObjectSetOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new LockAcquireOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new LockCheckOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new LockReleaseOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new EventCloseFile(this);
  internalEvents.put(EventCloseFile.class,op);
  op=new EventWriteObject(this);
  internalEvents.put(EventWriteObject.class,op);
}

Fixed version (ground truth):
private void initializeOperations(){
  OSDOperation op=new ReadOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new WriteOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new DeleteOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new TruncateOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new InternalGetGmaxOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new InternalTruncateOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CheckObjectOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new InternalGetFileSizeOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new ShutdownOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new LocalReadOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupStartOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupIsRunningOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupStopOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupGetStatusOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new CleanupGetResultsOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new GetObjectSetOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new LockAcquireOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new LockCheckOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new LockReleaseOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new VivaldiPingOperation(this);
  operations.put(op.getProcedureId(),op);
  op=new EventCloseFile(this);
  internalEvents.put(EventCloseFile.class,op);
  op=new EventWriteObject(this);
  internalEvents.put(EventWriteObject.class,op);
}