Program: 86731
Project: 86731
Buggy source:
/** 
 * Setups server side console commands
 * @param console
 */
private void setupServerCommands(Console console){
  CommonCommands.addCommonCommands(console);
  final ServerSeventhConfig config=serverContext.getConfig();
  final MapCycle mapCycle=serverContext.getMapCycle();
  console.addCommand(mapCycle.getMapListCommand());
  console.addCommand(mapCycle.getMapAddCommand());
  console.addCommand(mapCycle.getMapRemoveCommand());
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      serverContext.spawnGameSession(mergeArgsDelim("String_Node_Str",args));
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      serverContext.spawnGameSession(mapCycle.getNextMap());
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      serverContext.spawnGameSession(serverContext.getMapCycle().getCurrentMap());
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      try {
        serverContext.getRuntime().eval(new File(args[0]));
      }
 catch (      Exception e) {
        Cons.println("String_Node_Str" + mergeArgsDelim("String_Node_Str",args) + "String_Node_Str"+ e);
      }
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      ServerSeventhConfig config=serverContext.getConfig();
      if (args == null || args.length < 1) {
        console.println("String_Node_Str" + config.getPrivatePassword());
      }
 else {
        config.setPrivatePassword(args[0]);
      }
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      Game game=serverContext.getGameSession().getGame();
      if (game != null) {
        if (args.length < 1) {
          console.println("String_Node_Str");
        }
 else {
          int id=serverContext.getServer().reserveId();
          if (id >= 0) {
            game.addBot(id,args[0]);
          }
          if (args.length > 1) {
            String team=args[1].trim().toLowerCase();
            if (team.startsWith(Team.ALLIED_TEAM_NAME.toLowerCase())) {
              game.playerSwitchedTeam(id,Team.ALLIED_TEAM_ID);
            }
 else             if (team.startsWith(Team.AXIS_TEAM_NAME.toLowerCase())) {
              game.playerSwitchedTeam(id,Team.AXIS_TEAM_ID);
            }
          }
          console.println("String_Node_Str" + id);
        }
      }
 else {
        console.println("String_Node_Str");
      }
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      Game game=serverContext.getGameSession().getGame();
      if (game != null) {
        int id=serverContext.getServer().reserveId();
        if (id >= 0) {
          game.addDummyBot(id);
        }
        console.println("String_Node_Str" + id);
      }
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      Game game=serverContext.getGameSession().getGame();
      if (game != null) {
switch (args.length) {
case 0:
          console.println("String_Node_Str");
        break;
default :
{
        int id=Integer.parseInt(args[0]);
        console.println("String_Node_Str" + id);
        game.kickPlayer(id);
      }
  }
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
GameInfo game=serverContext.getGameSession().getGame();
if (game != null) {
switch (args.length) {
case 0:
    console.println("String_Node_Str");
  break;
default :
{
  int id=Integer.parseInt(args[0]);
  PlayerInfo player=game.getPlayerById(id);
  if (player != null && !player.isDead()) {
    player.getEntity().kill(player.getEntity());
  }
}
}
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(final Console console,String... args){
GameInfo game=serverContext.getGameSession().getGame();
if (game != null) {
PlayerInfos players=game.getPlayerInfos();
console.println("String_Node_Str");
console.println("String_Node_Str");
players.forEachPlayerInfo(new PlayerInfoIterator(){
@Override public void onPlayerInfo(PlayerInfo p){
console.printf("String_Node_Str",p.getName(),p.getId(),p.getPing());
}
}
);
console.println("String_Node_Str");
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(final Console console,String... args){
Game game=serverContext.getGameSession().getGame();
if (game != null) {
final DateFormat format=new SimpleDateFormat("String_Node_Str");
format.setTimeZone(TimeZone.getTimeZone("String_Node_Str"));
console.println("String_Node_Str");
Players players=game.getPlayers();
console.println("String_Node_Str");
console.println("String_Node_Str");
players.forEachPlayerInfo(new PlayerInfoIterator(){
@Override public void onPlayerInfo(PlayerInfo p){
console.printf("String_Node_Str",p.getName(),p.getKills(),p.getDeaths(),format.format(new Date(p.getJoinTime())),p.getTeam().getName());
}
}
);
console.println("String_Node_Str");
console.println("String_Node_Str");
console.println("String_Node_Str");
NetGameStats stats=game.getNetGameStats();
if (stats.teamStats != null) {
for (int i=0; i < stats.teamStats.length; i++) {
console.printf("String_Node_Str",Team.getName(stats.teamStats[i].id),stats.teamStats[i].id,stats.teamStats[i].score);
}
}
console.println("String_Node_Str");
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
console.println("String_Node_Str");
shutdown();
console.println("String_Node_Str");
System.exit(0);
}
}
);
if (console.getCommand("String_Node_Str") == null) {
console.addCommand("String_Node_Str",console.getCommand("String_Node_Str"));
console.addCommand("String_Node_Str",console.getCommand("String_Node_Str"));
}
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
switch (args.length) {
case 0:
console.println("String_Node_Str");
break;
case 1:
console.println(args[0] + "String_Node_Str" + config.getConfig().get(args[0]));
break;
default :
{
config.getConfig().set(mergeArgsDelimAt("String_Node_Str",1,args),args[0]);
}
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
switch (args.length) {
case 0:
console.println("String_Node_Str");
break;
case 1:
console.println(args[0] + "String_Node_Str" + config.getConfig().get(args[0]));
break;
default :
{
try {
config.getConfig().set(Integer.parseInt(args[1]),args[0]);
}
 catch (Exception e) {
console.println("String_Node_Str");
}
}
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
if (getServerContext().hasGameSession()) {
GameSession session=getServerContext().getGameSession();
Game game=session.getGame();
if (game != null) {
switch (args.length) {
case 2:
try {
int x=Integer.parseInt(args[0]);
int y=Integer.parseInt(args[1]);
game.newTank(x,y);
}
 catch (Exception e) {
console.println("String_Node_Str" + e);
}
break;
default :
{
console.println("String_Node_Str");
}
}
}
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
if (getServerContext().hasGameSession()) {
GameSession session=getServerContext().getGameSession();
Game game=session.getGame();
if (game != null) {
switch (args.length) {
case 0:
console.println("String_Node_Str");
break;
case 1:
console.execute("String_Node_Str" + args[0]);
break;
case 2:
console.execute("String_Node_Str" + args[0]);
console.execute("String_Node_Str" + args[1]);
break;
case 3:
console.execute("String_Node_Str" + args[0]);
console.execute("String_Node_Str" + args[1]);
console.execute("String_Node_Str" + args[2]);
break;
default :
{
console.println("String_Node_Str");
}
}
}
}
}
}
);
}

Fixed version (ground truth):
/** 
 * Setups server side console commands
 * @param console
 */
private void setupServerCommands(Console console){
  CommonCommands.addCommonCommands(console);
  final ServerSeventhConfig config=serverContext.getConfig();
  final MapCycle mapCycle=serverContext.getMapCycle();
  console.addCommand(mapCycle.getMapListCommand());
  console.addCommand(mapCycle.getMapAddCommand());
  console.addCommand(mapCycle.getMapRemoveCommand());
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      serverContext.spawnGameSession(mergeArgsDelim("String_Node_Str",args));
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      serverContext.spawnGameSession(mapCycle.getNextMap());
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      serverContext.spawnGameSession(serverContext.getMapCycle().getCurrentMap());
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      try {
        serverContext.getRuntime().eval(new File(args[0]));
      }
 catch (      Exception e) {
        Cons.println("String_Node_Str" + mergeArgsDelim("String_Node_Str",args) + "String_Node_Str"+ e);
      }
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      ServerSeventhConfig config=serverContext.getConfig();
      if (args == null || args.length < 1) {
        console.println("String_Node_Str" + config.getPrivatePassword());
      }
 else {
        config.setPrivatePassword(args[0]);
      }
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      Game game=serverContext.getGameSession().getGame();
      if (game != null) {
        if (args.length < 1) {
          console.println("String_Node_Str");
        }
 else {
          int id=serverContext.getServer().reserveId();
          if (id >= 0) {
            game.addBot(id,args[0]);
          }
          if (args.length > 1) {
            String team=args[1].trim().toLowerCase();
            if (team.startsWith(Team.ALLIED_TEAM_NAME.toLowerCase())) {
              game.playerSwitchedTeam(id,Team.ALLIED_TEAM_ID);
            }
 else             if (team.startsWith(Team.AXIS_TEAM_NAME.toLowerCase())) {
              game.playerSwitchedTeam(id,Team.AXIS_TEAM_ID);
            }
          }
          console.println("String_Node_Str" + id);
        }
      }
 else {
        console.println("String_Node_Str");
      }
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      Game game=serverContext.getGameSession().getGame();
      if (game != null) {
        int id=serverContext.getServer().reserveId();
        if (id >= 0) {
          game.addDummyBot(id);
        }
        console.println("String_Node_Str" + id);
      }
    }
  }
);
  console.addCommand(new Command("String_Node_Str"){
    @Override public void execute(    Console console,    String... args){
      Game game=serverContext.getGameSession().getGame();
      if (game != null) {
switch (args.length) {
case 0:
          console.println("String_Node_Str");
        break;
default :
{
        int id=Integer.parseInt(args[0]);
        console.println("String_Node_Str" + id);
        game.kickPlayer(id);
      }
  }
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
GameInfo game=serverContext.getGameSession().getGame();
if (game != null) {
switch (args.length) {
case 0:
    console.println("String_Node_Str");
  break;
default :
{
  int id=Integer.parseInt(args[0]);
  PlayerInfo player=game.getPlayerById(id);
  if (player != null && !player.isDead()) {
    player.getEntity().kill(player.getEntity());
  }
}
}
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(final Console console,String... args){
GameInfo game=serverContext.getGameSession().getGame();
if (game != null) {
PlayerInfos players=game.getPlayerInfos();
console.println("String_Node_Str");
console.println("String_Node_Str");
players.forEachPlayerInfo(new PlayerInfoIterator(){
@Override public void onPlayerInfo(PlayerInfo p){
console.printf("String_Node_Str",p.getName(),p.getId(),p.getPing());
}
}
);
console.println("String_Node_Str");
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(final Console console,String... args){
Game game=serverContext.getGameSession().getGame();
if (game != null) {
final DateFormat format=new SimpleDateFormat("String_Node_Str");
format.setTimeZone(TimeZone.getTimeZone("String_Node_Str"));
console.println("String_Node_Str");
Players players=game.getPlayers();
console.println("String_Node_Str");
console.println("String_Node_Str");
players.forEachPlayerInfo(new PlayerInfoIterator(){
@Override public void onPlayerInfo(PlayerInfo p){
console.printf("String_Node_Str",p.getName(),p.getKills(),p.getDeaths(),format.format(new Date(p.getJoinTime())),p.getTeam().getName());
}
}
);
console.println("String_Node_Str");
console.println("String_Node_Str");
console.println("String_Node_Str");
NetGameStats stats=game.getNetGameStats();
if (stats.teamStats != null) {
for (int i=0; i < stats.teamStats.length; i++) {
console.printf("String_Node_Str",Team.getName(stats.teamStats[i].id),stats.teamStats[i].id,stats.teamStats[i].score);
}
}
console.println("String_Node_Str");
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
console.println("String_Node_Str");
shutdown();
console.println("String_Node_Str");
System.exit(0);
}
}
);
if (console.getCommand("String_Node_Str") == null) {
console.addCommand("String_Node_Str",console.getCommand("String_Node_Str"));
console.addCommand("String_Node_Str",console.getCommand("String_Node_Str"));
}
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
switch (args.length) {
case 0:
console.println("String_Node_Str");
break;
default :
console.println(args[0] + "String_Node_Str" + config.getConfig().get(args[0]));
break;
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
switch (args.length) {
case 0:
console.println("String_Node_Str");
break;
case 1:
console.println(args[0] + "String_Node_Str" + config.getConfig().get(args[0]));
break;
default :
{
config.getConfig().set(mergeArgsDelimAt("String_Node_Str",1,args),args[0]);
}
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
switch (args.length) {
case 0:
console.println("String_Node_Str");
break;
case 1:
console.println(args[0] + "String_Node_Str" + config.getConfig().get(args[0]));
break;
default :
{
try {
config.getConfig().set(Integer.parseInt(args[1]),args[0]);
}
 catch (Exception e) {
console.println("String_Node_Str");
}
}
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
if (getServerContext().hasGameSession()) {
GameSession session=getServerContext().getGameSession();
Game game=session.getGame();
if (game != null) {
switch (args.length) {
case 2:
try {
int x=Integer.parseInt(args[0]);
int y=Integer.parseInt(args[1]);
game.newTank(x,y);
}
 catch (Exception e) {
console.println("String_Node_Str" + e);
}
break;
default :
{
console.println("String_Node_Str");
}
}
}
}
}
}
);
console.addCommand(new Command("String_Node_Str"){
@Override public void execute(Console console,String... args){
if (getServerContext().hasGameSession()) {
GameSession session=getServerContext().getGameSession();
Game game=session.getGame();
if (game != null) {
switch (args.length) {
case 0:
console.println("String_Node_Str");
break;
case 1:
console.execute("String_Node_Str" + args[0]);
break;
case 2:
console.execute("String_Node_Str" + args[0]);
console.execute("String_Node_Str" + args[1]);
break;
case 3:
console.execute("String_Node_Str" + args[0]);
console.execute("String_Node_Str" + args[1]);
console.execute("String_Node_Str" + args[2]);
break;
default :
{
console.println("String_Node_Str");
}
}
}
}
}
}
);
}