Program: 131088
Project: 131088
Buggy source:
public static void createVersion1(Connection conn,Integer currentVersion){
  if (currentVersion < 1) {
    if (!doesTableExists(conn,"String_Node_Str")) {
      StringBuilder createPrefTable=new StringBuilder();
      createPrefTable.append("String_Node_Str");
      createPrefTable.append("String_Node_Str");
      createPrefTable.append("String_Node_Str");
      createPrefTable.append("String_Node_Str");
      DbManager.getInstance().doExecute(createPrefTable.toString());
    }
    if (!doesTableExists(conn,"String_Node_Str")) {
      StringBuilder createCredentialsTable=new StringBuilder();
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      DbManager.getInstance().doExecute(createCredentialsTable.toString());
    }
    if (!doesTableExists(conn,"String_Node_Str")) {
      StringBuilder createCredentialsTable=new StringBuilder();
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      DbManager.getInstance().doExecute(createCredentialsTable.toString());
    }
    if (!doesTableExists(conn,"String_Node_Str")) {
      StringBuilder createVersionTable=new StringBuilder();
      createVersionTable.append("String_Node_Str");
      createVersionTable.append("String_Node_Str");
      createVersionTable.append("String_Node_Str");
      DbManager.getInstance().doExecute(createVersionTable.toString());
      String insertQuery="String_Node_Str";
      DbManager.getInstance().doInsertUpdate(insertQuery);
    }
    currentVersion=1;
  }
}

Fixed version (ground truth):
public static void createVersion1(Connection conn,CurrentDbVersion currentVersion){
  if (currentVersion.getDbVersion() < 1) {
    if (!doesTableExists(conn,"String_Node_Str")) {
      StringBuilder createPrefTable=new StringBuilder();
      createPrefTable.append("String_Node_Str");
      createPrefTable.append("String_Node_Str");
      createPrefTable.append("String_Node_Str");
      createPrefTable.append("String_Node_Str");
      DbManager.getInstance().doExecute(createPrefTable.toString());
    }
    if (!doesTableExists(conn,"String_Node_Str")) {
      StringBuilder createCredentialsTable=new StringBuilder();
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      DbManager.getInstance().doExecute(createCredentialsTable.toString());
    }
    if (!doesTableExists(conn,"String_Node_Str")) {
      StringBuilder createCredentialsTable=new StringBuilder();
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      createCredentialsTable.append("String_Node_Str");
      DbManager.getInstance().doExecute(createCredentialsTable.toString());
    }
    if (!doesTableExists(conn,"String_Node_Str")) {
      StringBuilder createVersionTable=new StringBuilder();
      createVersionTable.append("String_Node_Str");
      createVersionTable.append("String_Node_Str");
      createVersionTable.append("String_Node_Str");
      DbManager.getInstance().doExecute(createVersionTable.toString());
      String insertQuery="String_Node_Str";
      DbManager.getInstance().doInsertUpdate(insertQuery);
    }
    currentVersion.setDbVersion(1);
  }
}