Program: 50753
Project: 50753
Buggy source:
public void handle(Invocation inv){
  if (inv.operation == OP_CMAP_GET) {
    handleGet(inv);
  }
 else   if (inv.operation == OP_CMAP_PUT) {
    handlePut(inv);
  }
 else   if (inv.operation == OP_CMAP_BACKUP_ADD) {
    handleBackupAdd(inv);
  }
 else   if (inv.operation == OP_CMAP_REMOVE) {
    handleRemove(inv);
  }
 else   if (inv.operation == OP_CMAP_BACKUP_REMOVE) {
    handleBackupRemove(inv);
  }
 else   if (inv.operation == OP_CMAP_LOCK) {
    handleLock(inv);
  }
 else   if (inv.operation == OP_CMAP_UNLOCK) {
    handleLock(inv);
  }
 else   if (inv.operation == OP_CMAP_BACKUP_LOCK) {
    handleBackupLock(inv);
  }
 else   if (inv.operation == OP_CMAP_READ) {
    handleRead(inv);
  }
 else   if (inv.operation == OP_CMAP_SIZE) {
    handleSize(inv);
  }
 else   if (inv.operation == OP_CMAP_ADD_TO_LIST || inv.operation == OP_CMAP_ADD_TO_SET) {
    handleAdd(inv);
  }
 else   if (inv.operation == OP_CMAP_CONTAINS_KEY) {
    handleContains(true,inv);
  }
 else   if (inv.operation == OP_CMAP_CONTAINS_VALUE) {
    handleContains(false,inv);
  }
 else   if (inv.operation == OP_CMAP_BLOCK_INFO) {
    handleBlockInfo(inv);
  }
 else   if (inv.operation == OP_CMAP_BLOCKS) {
    handleBlocks(inv);
  }
 else   if (inv.operation == OP_CMAP_PUT_IF_ABSENT) {
    handlePut(inv);
  }
 else   if (inv.operation == OP_CMAP_REPLACE_IF_NOT_NULL) {
    handlePut(inv);
  }
 else   if (inv.operation == OP_CMAP_MIGRATION_COMPLETE) {
    doMigrationComplete(inv.conn.getEndPoint());
  }
 else   if (inv.operation == OP_CMAP_MIGRATE_RECORD) {
    handleMigrateRecord(inv);
  }
 else {
    throw new RuntimeException("String_Node_Str" + inv.operation);
  }
}

Fixed version (ground truth):
public void handle(Invocation inv){
  if (inv.operation == OP_CMAP_GET) {
    handleGet(inv);
  }
 else   if (inv.operation == OP_CMAP_PUT) {
    handlePut(inv);
  }
 else   if (inv.operation == OP_CMAP_BACKUP_ADD) {
    handleBackupAdd(inv);
  }
 else   if (inv.operation == OP_CMAP_REMOVE) {
    handleRemove(inv);
  }
 else   if (inv.operation == OP_CMAP_BACKUP_REMOVE) {
    handleBackupRemove(inv);
  }
 else   if (inv.operation == OP_CMAP_LOCK) {
    handleLock(inv);
  }
 else   if (inv.operation == OP_CMAP_LOCK_RETURN_OLD) {
    handleLock(inv);
  }
 else   if (inv.operation == OP_CMAP_UNLOCK) {
    handleLock(inv);
  }
 else   if (inv.operation == OP_CMAP_BACKUP_LOCK) {
    handleBackupLock(inv);
  }
 else   if (inv.operation == OP_CMAP_READ) {
    handleRead(inv);
  }
 else   if (inv.operation == OP_CMAP_SIZE) {
    handleSize(inv);
  }
 else   if (inv.operation == OP_CMAP_ADD_TO_LIST || inv.operation == OP_CMAP_ADD_TO_SET) {
    handleAdd(inv);
  }
 else   if (inv.operation == OP_CMAP_CONTAINS_KEY) {
    handleContains(true,inv);
  }
 else   if (inv.operation == OP_CMAP_CONTAINS_VALUE) {
    handleContains(false,inv);
  }
 else   if (inv.operation == OP_CMAP_BLOCK_INFO) {
    handleBlockInfo(inv);
  }
 else   if (inv.operation == OP_CMAP_BLOCKS) {
    handleBlocks(inv);
  }
 else   if (inv.operation == OP_CMAP_PUT_IF_ABSENT) {
    handlePut(inv);
  }
 else   if (inv.operation == OP_CMAP_REPLACE_IF_NOT_NULL) {
    handlePut(inv);
  }
 else   if (inv.operation == OP_CMAP_MIGRATION_COMPLETE) {
    doMigrationComplete(inv.conn.getEndPoint());
  }
 else   if (inv.operation == OP_CMAP_MIGRATE_RECORD) {
    handleMigrateRecord(inv);
  }
 else {
    throw new RuntimeException("String_Node_Str" + inv.operation);
  }
}