Program: 132404
Project: 132404
Buggy source:
/** 
 * Checks the last insert group of consistency.
 * @throws Exception
 */
private static void performConsistencyCheck() throws Exception {
  DispatcherState state=DBS.getReplicationManager().stop();
  System.out.println("String_Node_Str" + state.latest);
  if (state.latest != null && state.latest.getSequenceNo() > 0L) {
    LookupGroup lookupGroup=generator.getLookupGroup(state.latest.getSequenceNo());
    if (lookupGroup != null) {
      for (int i=0; i < lookupGroup.size(); i++) {
        byte[] value=DBS.hiddenLookup(lookupGroup.dbName,lookupGroup.getIndex(i),lookupGroup.getKey(i));
        if (lookupGroup.getValue(i) != null) {
          if (value == null) {
            System.err.println("String_Node_Str" + i);
            System.err.println(lookupGroup.toString());
            System.err.println((value == null) ? "String_Node_Str" : "String_Node_Str");
          }
 else {
            if (!new String(value).equals(new String(lookupGroup.getValue(i)))) {
              System.err.println("String_Node_Str" + state.latest.toString() + "String_Node_Str"+ "String_Node_Str"+ new String(value)+ "String_Node_Str"+ new String(lookupGroup.getValue(i)));
              System.exit(1);
            }
          }
        }
      }
      System.out.println("String_Node_Str" + state.latest.toString() + "String_Node_Str");
    }
 else {
      System.out.println("String_Node_Str" + state.latest.toString() + "String_Node_Str");
    }
  }
 else {
    System.out.println("String_Node_Str" + state.latest.toString() + "String_Node_Str");
  }
  DBS.getReplicationManager().changeConfiguration(CONFIGURATION,state);
}

Fixed version (ground truth):
/** 
 * Checks the last insert group of consistency.
 * @throws Exception
 */
private static void performConsistencyCheck() throws Exception {
  DispatcherState state=DBS.getReplicationManager().stop();
  System.out.println("String_Node_Str" + state.latest);
  if (state.latest != null && state.latest.getSequenceNo() > 0L) {
    LookupGroup lookupGroup=generator.getLookupGroup(state.latest.getSequenceNo());
    if (lookupGroup != null) {
      for (int i=0; i < lookupGroup.size(); i++) {
        byte[] value=DBS.hiddenLookup(lookupGroup.dbName,lookupGroup.getIndex(i),lookupGroup.getKey(i));
        if (lookupGroup.getValue(i) != null) {
          if (value == null) {
            System.err.println("String_Node_Str" + i);
            System.err.println(lookupGroup.toString());
            System.err.println((value == null) ? "String_Node_Str" : "String_Node_Str");
          }
 else {
            if (!new String(value).equals(new String(lookupGroup.getValue(i)))) {
              System.err.println("String_Node_Str" + state.latest.toString() + "String_Node_Str"+ "String_Node_Str"+ new String(value)+ "String_Node_Str"+ new String(lookupGroup.getValue(i)));
              System.exit(1);
            }
          }
        }
      }
      System.out.println("String_Node_Str" + state.latest.toString() + "String_Node_Str");
    }
 else {
      System.out.println("String_Node_Str" + state.latest.toString() + "String_Node_Str");
    }
  }
 else {
    System.out.println("String_Node_Str" + state.latest.toString() + "String_Node_Str");
  }
  DBS.getReplicationManager().restart(state);
}