Program: 106327
Project: 106327
Buggy source:
public static void main(String[] args){
  String dbPropsFile="String_Node_Str";
  List<String> sqlFiles=new ArrayList<String>();
  List<String> upgradeClasses=new ArrayList<String>();
  String[] databases=new String[]{};
  String rootPassword="String_Node_Str";
  boolean verbosity=false;
  boolean dryRun=false;
  for (  String arg : args) {
    if (arg.equals("String_Node_Str") || arg.equals("String_Node_Str")) {
      printHelp("String_Node_Str");
      System.exit(0);
    }
 else     if (arg.equals("String_Node_Str") || arg.equals("String_Node_Str")) {
      verbosity=true;
    }
 else     if (arg.equals("String_Node_Str") || arg.equals("String_Node_Str")) {
      dryRun=true;
    }
 else     if (arg.startsWith("String_Node_Str")) {
      rootPassword=arg.substring(arg.lastIndexOf("String_Node_Str") + 1,arg.length());
    }
 else     if (arg.startsWith("String_Node_Str")) {
      databases=arg.substring(arg.lastIndexOf("String_Node_Str") + 1,arg.length()).split("String_Node_Str");
    }
 else     if (arg.endsWith("String_Node_Str")) {
      sqlFiles.add(arg);
    }
 else     if (arg.endsWith("String_Node_Str")) {
      if (!dbPropsFile.endsWith("String_Node_Str") && fileExists(arg))       dbPropsFile=arg;
    }
 else     if (arg.endsWith("String_Node_Str")) {
      if (fileExists(arg))       dbPropsFile=arg;
    }
 else {
      upgradeClasses.add(arg);
    }
  }
  if ((dbPropsFile.isEmpty()) || (sqlFiles.size() == 0) && upgradeClasses.size() == 0) {
    printHelp("String_Node_Str");
    System.exit(1);
  }
  try {
    Transaction.initDataSource(dbPropsFile);
  }
 catch (  NullPointerException e) {
  }
  initDB(dbPropsFile,rootPassword,databases,dryRun);
  for (  String sqlFile : sqlFiles) {
    File sqlScript=PropertiesUtil.findConfigFile(sqlFile);
    if (sqlScript == null) {
      System.err.println("String_Node_Str" + sqlFile);
      printHelp("String_Node_Str");
      System.exit(1);
    }
    System.out.println("String_Node_Str" + sqlScript.getAbsolutePath());
    Connection conn=Transaction.getStandaloneConnection();
    try {
      FileReader reader=null;
      try {
        reader=new FileReader(sqlScript);
      }
 catch (      FileNotFoundException e) {
        System.err.println("String_Node_Str" + sqlFile + "String_Node_Str"+ e.getMessage());
        System.exit(1);
      }
      if (!dryRun)       runScript(conn,reader,sqlFile,verbosity);
    }
  finally {
      try {
        conn.close();
      }
 catch (      SQLException e) {
        System.err.println("String_Node_Str" + e.getMessage());
      }
    }
  }
  Transaction txn=Transaction.open(Transaction.CLOUD_DB);
  try {
    for (    String upgradeClass : upgradeClasses) {
      System.out.println("String_Node_Str" + upgradeClass);
      Class<?> clazz=null;
      try {
        clazz=Class.forName(upgradeClass);
        if (!SystemIntegrityChecker.class.isAssignableFrom(clazz)) {
          System.err.println("String_Node_Str" + clazz.getName());
          System.exit(1);
        }
        SystemIntegrityChecker checker=(SystemIntegrityChecker)clazz.newInstance();
        checker.check();
      }
 catch (      ClassNotFoundException e) {
        System.err.println("String_Node_Str" + upgradeClass + "String_Node_Str"+ e.getMessage());
        System.exit(1);
      }
catch (      InstantiationException e) {
        System.err.println("String_Node_Str" + upgradeClass + "String_Node_Str"+ e.getMessage());
        System.exit(1);
      }
catch (      IllegalAccessException e) {
        System.err.println("String_Node_Str" + upgradeClass + "String_Node_Str"+ e.getMessage());
        System.exit(1);
      }
    }
  }
  finally {
    txn.close();
  }
}

Fixed version (ground truth):
public static void main(String[] args){
  String dbPropsFile="String_Node_Str";
  List<String> sqlFiles=new ArrayList<String>();
  List<String> upgradeClasses=new ArrayList<String>();
  String[] databases=new String[]{};
  String rootPassword="String_Node_Str";
  boolean verbosity=false;
  boolean dryRun=false;
  for (  String arg : args) {
    if (arg.equals("String_Node_Str") || arg.equals("String_Node_Str")) {
      printHelp("String_Node_Str");
      System.exit(0);
    }
 else     if (arg.equals("String_Node_Str") || arg.equals("String_Node_Str")) {
      verbosity=true;
    }
 else     if (arg.equals("String_Node_Str") || arg.equals("String_Node_Str")) {
      dryRun=true;
    }
 else     if (arg.startsWith("String_Node_Str")) {
      rootPassword=arg.substring(arg.lastIndexOf("String_Node_Str") + 1,arg.length());
    }
 else     if (arg.startsWith("String_Node_Str")) {
      databases=arg.substring(arg.lastIndexOf("String_Node_Str") + 1,arg.length()).split("String_Node_Str");
    }
 else     if (arg.endsWith("String_Node_Str")) {
      sqlFiles.add(arg);
    }
 else     if (arg.endsWith("String_Node_Str")) {
      if (!dbPropsFile.endsWith("String_Node_Str") && fileExists(arg))       dbPropsFile=arg;
    }
 else     if (arg.endsWith("String_Node_Str")) {
      if (fileExists(arg))       dbPropsFile=arg;
    }
 else {
      upgradeClasses.add(arg);
    }
  }
  if ((dbPropsFile.isEmpty()) || (sqlFiles.size() == 0) && upgradeClasses.size() == 0) {
    printHelp("String_Node_Str");
    System.exit(1);
  }
  try {
    Transaction.initDataSource(dbPropsFile);
  }
 catch (  NullPointerException e) {
  }
  initDB(dbPropsFile,rootPassword,databases,dryRun);
  for (  String sqlFile : sqlFiles) {
    File sqlScript=PropertiesUtil.findConfigFile(sqlFile);
    if (sqlScript == null) {
      System.err.println("String_Node_Str" + sqlFile);
      printHelp("String_Node_Str");
      System.exit(1);
    }
    System.out.println("String_Node_Str" + sqlScript.getAbsolutePath());
    Connection conn=Transaction.getStandaloneConnection();
    try {
      FileReader reader=null;
      try {
        reader=new FileReader(sqlScript);
      }
 catch (      FileNotFoundException e) {
        System.err.println("String_Node_Str" + sqlFile + "String_Node_Str"+ e.getMessage());
        System.exit(1);
      }
      if (!dryRun)       runScript(conn,reader,sqlFile,verbosity);
    }
  finally {
      try {
        conn.close();
      }
 catch (      SQLException e) {
        System.err.println("String_Node_Str" + e.getMessage());
      }
    }
  }
  for (  String upgradeClass : upgradeClasses) {
    System.out.println("String_Node_Str" + upgradeClass);
    Class<?> clazz=null;
    try {
      clazz=Class.forName(upgradeClass);
      if (!SystemIntegrityChecker.class.isAssignableFrom(clazz)) {
        System.err.println("String_Node_Str" + clazz.getName());
        System.exit(1);
      }
    }
 catch (    ClassNotFoundException e) {
      System.err.println("String_Node_Str" + upgradeClass + "String_Node_Str"+ e.getMessage());
      System.exit(1);
    }
  }
}