Program: 2319
Project: 2319
Buggy source:
private int parseFlag(int i){
  String flag=this.args[i];
switch (flag) {
case CommandLineArgParser.JUNIT_FLAG:
{
      this.parsed.put(CommandLine.ArgFlag.JUNIT,new String[0]);
      return i;
    }
case CommandLineArgParser.VERBOSE_FLAG:
{
    this.parsed.put(CommandLine.ArgFlag.VERBOSE,new String[0]);
    return i;
  }
case CommandLineArgParser.PATH_FLAG:
{
  return parsePath(i);
}
case CommandLineArgParser.PROJECT_FLAG:
{
return parseProject(i);
}
case CommandLineArgParser.FSM_FLAG:
{
return parseFsm(i);
}
case CommandLineArgParser.FSM_DOT_FLAG:
{
return parseFsmDot(i);
}
case CommandLineArgParser.SESSION_FLAG:
{
return parseSession(i);
}
case CommandLineArgParser.STATECHAN_FLAG:
{
return parseStateChannels(i);
}
case CommandLineArgParser.API_FLAG:
{
return parseApi(i);
}
case CommandLineArgParser.API_OUTPUT_FLAG:
{
return parseOutput(i);
}
case CommandLineArgParser.STATECHANSUBTYPES_FLAG:
{
this.parsed.put(CommandLineArgParser.FLAGS.get(CommandLineArgParser.STATECHANSUBTYPES_FLAG),new String[0]);
return i;
}
case CommandLineArgParser.GLOBAL_MODEL_FLAG:
{
return parseGlobalModel(i);
}
case CommandLineArgParser.GLOBAL_MODEL_DOT_FLAG:
{
return parseGlobalModelDot(i);
}
case CommandLineArgParser.OLD_WF_FLAG:
{
this.parsed.put(CommandLineArgParser.FLAGS.get(CommandLineArgParser.OLD_WF_FLAG),new String[0]);
return i;
}
case CommandLineArgParser.NO_LIVENESS:
{
this.parsed.put(CommandLineArgParser.FLAGS.get(CommandLineArgParser.NO_LIVENESS),new String[0]);
return i;
}
case CommandLineArgParser.MIN_FSM:
{
this.parsed.put(CommandLine.ArgFlag.MIN_FSM,new String[0]);
return i;
}
default :
{
throw new RuntimeException(flag);
}
}
}

Fixed version (ground truth):
private int parseFlag(int i){
  String flag=this.args[i];
switch (flag) {
case CommandLineArgParser.JUNIT_FLAG:
{
      this.parsed.put(CommandLine.ArgFlag.JUNIT,new String[0]);
      return i;
    }
case CommandLineArgParser.VERBOSE_FLAG:
{
    this.parsed.put(CommandLine.ArgFlag.VERBOSE,new String[0]);
    return i;
  }
case CommandLineArgParser.PATH_FLAG:
{
  return parsePath(i);
}
case CommandLineArgParser.PROJECT_FLAG:
{
return parseProject(i);
}
case CommandLineArgParser.FSM_FLAG:
{
return parseFsm(i);
}
case CommandLineArgParser.FSM_DOT_FLAG:
{
return parseFsmDot(i);
}
case CommandLineArgParser.SESSION_FLAG:
{
return parseSession(i);
}
case CommandLineArgParser.STATECHAN_FLAG:
{
return parseStateChannels(i);
}
case CommandLineArgParser.API_FLAG:
{
return parseApi(i);
}
case CommandLineArgParser.API_OUTPUT_FLAG:
{
return parseOutput(i);
}
case CommandLineArgParser.STATECHANSUBTYPES_FLAG:
{
this.parsed.put(CommandLineArgParser.FLAGS.get(CommandLineArgParser.STATECHANSUBTYPES_FLAG),new String[0]);
return i;
}
case CommandLineArgParser.GLOBAL_MODEL_FLAG:
{
return parseGlobalModel(i);
}
case CommandLineArgParser.GLOBAL_MODEL_DOT_FLAG:
{
return parseGlobalModelDot(i);
}
case CommandLineArgParser.OLD_WF_FLAG:
{
this.parsed.put(CommandLineArgParser.FLAGS.get(CommandLineArgParser.OLD_WF_FLAG),new String[0]);
return i;
}
case CommandLineArgParser.NO_LIVENESS:
{
this.parsed.put(CommandLineArgParser.FLAGS.get(CommandLineArgParser.NO_LIVENESS),new String[0]);
return i;
}
case CommandLineArgParser.MIN_EFSM:
{
this.parsed.put(CommandLine.ArgFlag.MIN_EFSM,new String[0]);
return i;
}
default :
{
throw new RuntimeException(flag);
}
}
}