Program: 2340
Project: 2340
Buggy source:
public void run() throws ScribbleException {
  try {
    Job job=newJob(newMainContext());
    ScribbleException fail=null;
    try {
      job.checkWellFormedness();
    }
 catch (    ScribbleException x) {
      fail=x;
    }
    try {
      if (this.args.containsKey(ArgFlag.PROJECT)) {
        outputProjections(job);
      }
      if (this.args.containsKey(ArgFlag.FSM)) {
        outputGraph(job);
      }
      if (this.args.containsKey(ArgFlag.FSM_DOT)) {
        drawGraph(job);
      }
      if (this.args.containsKey(ArgFlag.SESS_API)) {
        outputSessionApi(job);
      }
      if (this.args.containsKey(ArgFlag.SCHAN_API)) {
        outputStateChannelApi(job);
      }
      if (this.args.containsKey(ArgFlag.EP_API)) {
        outputEndpointApi(job);
      }
      if (this.args.containsKey(ArgFlag.GLOBAL_MODEL) || this.args.containsKey(ArgFlag.GLOBAL_MODEL_DOT)) {
        if (job.useOldWf) {
          throw new RuntimeException("String_Node_Str" + CommandLineArgParser.GLOBAL_MODEL_FLAG + "String_Node_Str"+ CommandLineArgParser.OLD_WF_FLAG);
        }
        if (this.args.containsKey(ArgFlag.GLOBAL_MODEL_DOT)) {
          drawGlobalModel(job);
        }
 else {
          outputGlobalModel(job);
        }
      }
    }
 catch (    ScribbleException x) {
      if (fail == null) {
        fail=x;
      }
    }
    if (fail != null) {
      throw fail;
    }
  }
 catch (  ScribbleException e) {
    if (this.args.containsKey(ArgFlag.JUNIT) || this.args.containsKey(ArgFlag.VERBOSE)) {
      throw e;
    }
 else {
      System.err.println(e.getMessage());
      System.exit(1);
    }
  }
}

Fixed version (ground truth):
public void run() throws ScribbleException {
  try {
    Job job=newJob(newMainContext());
    ScribbleException fail=null;
    try {
      job.checkWellFormedness();
    }
 catch (    ScribbleException x) {
      fail=x;
    }
    try {
      if (this.args.containsKey(ArgFlag.PROJECT)) {
        outputProjections(job);
      }
      if (this.args.containsKey(ArgFlag.FSM)) {
        outputGraph(job);
      }
      if (this.args.containsKey(ArgFlag.FSM_DOT)) {
        drawGraph(job);
      }
      if (this.args.containsKey(ArgFlag.SESS_API)) {
        outputSessionApi(job);
      }
      if (this.args.containsKey(ArgFlag.SCHAN_API)) {
        outputStateChannelApi(job);
      }
      if (this.args.containsKey(ArgFlag.EP_API)) {
        outputEndpointApi(job);
      }
      if (this.args.containsKey(ArgFlag.GLOBAL_MODEL) || this.args.containsKey(ArgFlag.GLOBAL_MODEL_DOT)) {
        if (job.useOldWf) {
          throw new RuntimeException("String_Node_Str" + CommandLineArgParser.GLOBAL_MODEL_FLAG + "String_Node_Str"+ CommandLineArgParser.OLD_WF_FLAG);
        }
        if (this.args.containsKey(ArgFlag.GLOBAL_MODEL)) {
          outputGlobalModel(job);
        }
        if (this.args.containsKey(ArgFlag.GLOBAL_MODEL_DOT)) {
          drawGlobalModel(job);
        }
      }
    }
 catch (    ScribbleException x) {
      if (fail == null) {
        fail=x;
      }
    }
    if (fail != null) {
      throw fail;
    }
  }
 catch (  ScribbleException e) {
    if (this.args.containsKey(ArgFlag.JUNIT) || this.args.containsKey(ArgFlag.VERBOSE)) {
      throw e;
    }
 else {
      System.err.println(e.getMessage());
      System.exit(1);
    }
  }
}