Program: 132430
Project: 132430
Buggy source:
public static void main(String[] args) throws Exception {
  Logging.start(Logging.LEVEL_ERROR);
  if (args.length != 3)   usage();
  long seed=0L;
  try {
    seed=Long.valueOf(args[0]);
  }
 catch (  NumberFormatException e) {
    error("String_Node_Str" + args[0]);
  }
  InetSocketAddress master=parseAddress(args[1]);
  List<InetSocketAddress> slaves=new LinkedList<InetSocketAddress>();
  if (args[2].indexOf("String_Node_Str") == -1)   slaves.add(parseAddress(args[2]));
 else   for (  String adr : args[2].split("String_Node_Str"))   slaves.add(parseAddress(adr));
  Process p=Runtime.getRuntime().exec("String_Node_Str" + PATH);
  p.waitFor();
  DBS=(BabuDBImpl)BabuDBFactory.getSlaveBabuDB(PATH,PATH,NUM_WKS,1,0,SyncMode.ASYNC,0,0,master,slaves,Replication.SLAVE_PORT,null,Replication.DEFAULT_MAX_Q);
  generator.initialize(seed);
  Random random=new Random();
  System.out.println("String_Node_Str");
  boolean ccheck=true;
  while (true) {
    int sleepInterval=0;
    if (ccheck)     sleepInterval=CCHECK_SLEEP_INTERVAL;
 else     sleepInterval=random.nextInt(MAX_SLEEP_INTERVAL - MIN_SLEEP_INTERVAL) + MIN_SLEEP_INTERVAL;
    System.out.println("String_Node_Str" + sleepInterval / 60000 + "String_Node_Str");
    Thread.sleep(sleepInterval);
    int event=random.nextInt(100);
    if (event < P_CCHECK) {
      performConsistencyCheck();
      ccheck=true;
    }
 else     if (event < (P_CCHECK + P_CLEAN_RESTART)) {
      performCleanAndRestart(random,master,slaves);
      ccheck=false;
    }
 else {
      performRestart(random,master,slaves);
      ccheck=false;
    }
  }
}

Fixed version (ground truth):
public static void main(String[] args) throws Exception {
  Logging.start(Logging.LEVEL_ERROR);
  if (args.length != 3)   usage();
  long seed=0L;
  try {
    seed=Long.valueOf(args[0]);
  }
 catch (  NumberFormatException e) {
    error("String_Node_Str" + args[0]);
  }
  InetSocketAddress master=parseAddress(args[1]);
  List<InetSocketAddress> slaves=new LinkedList<InetSocketAddress>();
  if (args[2].indexOf("String_Node_Str") == -1)   slaves.add(parseAddress(args[2]));
 else   for (  String adr : args[2].split("String_Node_Str"))   slaves.add(parseAddress(adr));
  Process p=Runtime.getRuntime().exec("String_Node_Str" + PATH);
  p.waitFor();
  DBS=(BabuDBImpl)BabuDBFactory.getSlaveBabuDB(PATH,PATH,NUM_WKS,1,0,SyncMode.ASYNC,0,0,master,slaves,Replication.SLAVE_PORT,null,Replication.DEFAULT_MAX_Q);
  generator.initialize(seed);
  Random random=new Random();
  System.out.println("String_Node_Str");
  boolean ccheck=true;
  while (true) {
    int sleepInterval=0;
    if (ccheck)     sleepInterval=CCHECK_SLEEP_INTERVAL;
 else     sleepInterval=random.nextInt(MAX_SLEEP_INTERVAL - MIN_SLEEP_INTERVAL) + MIN_SLEEP_INTERVAL;
    System.out.println("String_Node_Str" + sleepInterval / 60000 + "String_Node_Str");
    Thread.sleep(sleepInterval);
    int event=random.nextInt(100);
    if (event < P_CCHECK) {
      System.out.println("String_Node_Str");
      performConsistencyCheck();
      ccheck=true;
    }
 else     if (event < (P_CCHECK + P_CLEAN_RESTART)) {
      System.out.println("String_Node_Str");
      performCleanAndRestart(random,master,slaves);
      ccheck=false;
    }
 else {
      System.out.println("String_Node_Str");
      performRestart(random,master,slaves);
      ccheck=false;
    }
  }
}