nus-yam/ex-repair huggingface dataset:
Program: 25235
Project: 25235
Buggy source:
public void onEntityDamageByEntity(EntityDamageByEntityEvent event){
  Entity x=event.getEntity();
  Entity y=event.getDamager();
  if (y instanceof Player) {
    Player attacker=(Player)y;
    if (x instanceof Player) {
      Player defender=(Player)x;
      if (mcUsers.getProfile(defender).getParty().equals(mcUsers.getProfile(attacker).getParty())) {
        event.setCancelled(true);
      }
      if ((defender.getHealth() - event.getDamage()) <= 0) {
        for (        Player derp : plugin.getServer().getOnlinePlayers()) {
          derp.sendMessage(ChatColor.GRAY + attacker.getName() + "String_Node_Str"+ ChatColor.DARK_RED+ "String_Node_Str"+ ChatColor.GRAY+ defender.getName());
          mcUsers.getProfile(defender).setDead(true);
        }
      }
    }
  }
}

Fixed version (ground truth):
public void onEntityDamageByEntity(EntityDamageByEntityEvent event){
  Entity x=event.getEntity();
  Entity y=event.getDamager();
  if (y instanceof Player) {
    Player attacker=(Player)y;
    if (x instanceof Player) {
      Player defender=(Player)x;
      if (mcUsers.getProfile(defender).getParty().equals(mcUsers.getProfile(attacker).getParty())) {
        event.setCancelled(true);
      }
      if (mcUsers.getProfile(defender).isDead())       return;
      if ((defender.getHealth() - event.getDamage()) <= 0) {
        for (        Player derp : plugin.getServer().getOnlinePlayers()) {
          derp.sendMessage(ChatColor.GRAY + attacker.getName() + "String_Node_Str"+ ChatColor.DARK_RED+ "String_Node_Str"+ ChatColor.GRAY+ defender.getName());
          mcUsers.getProfile(defender).setDead(true);
        }
      }
    }
  }
}
Program: 25236
Project: 25236
Buggy source:
public static int tphere(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdTphere())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str" + "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
 else {
    log.log(Level.INFO,player.getName() + "String_Node_Str" + player.getName()+ "String_Node_Str");
    playerTarget.teleportTo(player);
    double x=player.getLocation().x;
    double y=player.getLocation().y;
    double z=player.getLocation().z;
    String x2=Double.toString(x);
    String y2=Double.toString(y);
    String z2=Double.toString(z);
    String xyz=x2 + "String_Node_Str" + y2+ "String_Node_Str"+ z2;
    vMinecraftUsers.getProfile(playerTarget).setTpback(xyz);
    if (playerTarget.canUseCommand("String_Node_Str")) {
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
    }
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int tphere(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdTphere())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str" + "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
 else {
    log.log(Level.INFO,player.getName() + "String_Node_Str" + playerTarget.getName()+ "String_Node_Str");
    playerTarget.teleportTo(player);
    double x=player.getLocation().x;
    double y=player.getLocation().y;
    double z=player.getLocation().z;
    String x2=Double.toString(x);
    String y2=Double.toString(y);
    String z2=Double.toString(z);
    String xyz=x2 + "String_Node_Str" + y2+ "String_Node_Str"+ z2;
    vMinecraftUsers.getProfile(playerTarget).setTpback(xyz);
    if (playerTarget.canUseCommand("String_Node_Str")) {
      playerTarget.sendMessage(Colors.DarkPurple + "String_Node_Str");
      playerTarget.sendMessage(Colors.DarkPurple + "String_Node_Str");
    }
  }
  return EXIT_SUCCESS;
}
Program: 25237
Project: 25237
Buggy source:
public static int tphere(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdTphere())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str" + "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
 else {
    log.log(Level.INFO,player.getName() + "String_Node_Str" + player.getName()+ "String_Node_Str");
    playerTarget.teleportTo(player);
    double x=player.getLocation().x;
    double y=player.getLocation().y;
    double z=player.getLocation().z;
    String x2=Double.toString(x);
    String y2=Double.toString(y);
    String z2=Double.toString(z);
    String xyz=x2 + "String_Node_Str" + y2+ "String_Node_Str"+ z2;
    vMinecraftUsers.getProfile(playerTarget).setTpback(xyz);
    if (playerTarget.canUseCommand("String_Node_Str")) {
      playerTarget.sendMessage(Colors.DarkPurple + "String_Node_Str");
    }
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int tphere(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdTphere())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str" + "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
 else {
    log.log(Level.INFO,player.getName() + "String_Node_Str" + player.getName()+ "String_Node_Str");
    playerTarget.teleportTo(player);
    double x=player.getLocation().x;
    double y=player.getLocation().y;
    double z=player.getLocation().z;
    String x2=Double.toString(x);
    String y2=Double.toString(y);
    String z2=Double.toString(z);
    String xyz=x2 + "String_Node_Str" + y2+ "String_Node_Str"+ z2;
    vMinecraftUsers.getProfile(playerTarget).setTpback(xyz);
    if (playerTarget.canUseCommand("String_Node_Str")) {
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
    }
  }
  return EXIT_SUCCESS;
}
Program: 25238
Project: 25238
Buggy source:
public static int teleport(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdTp())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str");
 else {
    double x=player.getLocation().x;
    double y=player.getLocation().y;
    double z=player.getLocation().z;
    String x2=Double.toString(x);
    String y2=Double.toString(y);
    String z2=Double.toString(z);
    String xyz=x2 + "String_Node_Str" + y2+ "String_Node_Str"+ z2;
    vMinecraftUsers.getProfile(player).setTpback(xyz);
    if (player.canUseCommand("String_Node_Str")) {
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
    }
    if (!vMinecraftUsers.getProfile(player).isSilent()) {
      vMinecraftChat.gmsg(player,vMinecraftChat.getName(player) + Colors.LightBlue + "String_Node_Str"+ vMinecraftChat.getName(playerTarget));
    }
    log.log(Level.INFO,player.getName() + "String_Node_Str" + playerTarget.getName());
    player.teleportTo(playerTarget);
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int teleport(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdTp())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str");
 else {
    double x=player.getLocation().x;
    double y=player.getLocation().y;
    double z=player.getLocation().z;
    String x2=Double.toString(x);
    String y2=Double.toString(y);
    String z2=Double.toString(z);
    String xyz=x2 + "String_Node_Str" + y2+ "String_Node_Str"+ z2;
    vMinecraftUsers.getProfile(player).setTpback(xyz);
    if (player.canUseCommand("String_Node_Str")) {
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
    }
    if (!vMinecraftUsers.getProfile(player).isSilent()) {
      vMinecraftChat.gmsg(player,vMinecraftChat.getName(player) + Colors.LightBlue + "String_Node_Str"+ vMinecraftChat.getName(playerTarget));
    }
    log.log(Level.INFO,player.getName() + "String_Node_Str" + playerTarget.getName());
    player.teleportTo(playerTarget);
  }
  return EXIT_SUCCESS;
}
Program: 25239
Project: 25239
Buggy source:
public static int silent(Player player,String[] args){
  if (player.canUseCommand("String_Node_Str")) {
    vMinecraftUsers.getProfile(player).setSilent();
    player.sendMessage(Colors.DarkPurple + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  return EXIT_FAIL;
}

Fixed version (ground truth):
public static int silent(Player player,String[] args){
  if (player.canUseCommand("String_Node_Str")) {
    if (!vMinecraftUsers.getProfile(player).isSilent()) {
      vMinecraftUsers.getProfile(player).setSilent();
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    if (vMinecraftUsers.getProfile(player).isSilent()) {
      vMinecraftUsers.getProfile(player).disableSilent();
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    return EXIT_FAIL;
  }
  return EXIT_FAIL;
}
Program: 25240
Project: 25240
Buggy source:
public boolean isSilent(){
  if (silent == true) {
    return true;
  }
 else {
    return false;
  }
}

Fixed version (ground truth):
public boolean isSilent(){
  return silent;
}
Program: 25242
Project: 25242
Buggy source:
public String getGroupPrefix(Player player){
  String groups[]=player.getGroups();
  String groupline[]=null;
  String prefix=Colors.White;
  if (vConfig.getInstance().groupcoloredbrackets()) {
    properties=new PropertiesFile(location);
    try {
      properties.load();
    }
 catch (    IOException e) {
      log.log(Level.SEVERE,"String_Node_Str" + location,e);
    }
    if (!groups[0].isEmpty())     groupline=properties.getString(groups[0]).split("String_Node_Str");
    if (groupline[0] != null) {
      prefix=groupline[0];
      prefix=vChat.colorChange(prefix.charAt(0));
    }
  }
  return prefix;
}

Fixed version (ground truth):
public String getGroupPrefix(Player player){
  String groups[]=player.getGroups();
  String groupline[]=null;
  String prefix=Colors.White;
  if (vConfig.getInstance().groupcoloredbrackets() && groups[0].toString().length() > 0) {
    properties=new PropertiesFile(location);
    try {
      properties.load();
    }
 catch (    IOException e) {
      log.log(Level.SEVERE,"String_Node_Str" + location,e);
    }
    groupline=properties.getString(groups[0]).split("String_Node_Str");
    if (!groupline[0].isEmpty()) {
      prefix=groupline[0];
      prefix=vChat.colorChange(prefix.charAt(0));
    }
  }
  return prefix;
}
Program: 25244
Project: 25244
Buggy source:
public static int reload(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  vMinecraftSettings.getInstance().loadSettings();
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int reload(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  vMinecraftSettings.getInstance().loadSettings();
  return EXIT_FAIL;
}
Program: 25249
Project: 25249
Buggy source:
public static int suffix(Player player,String[] args){
  if (player.canUseCommand("String_Node_Str")) {
    if (args.length < 2) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    if (args[1].length() > 10) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    Player other=etc.getServer().matchPlayer(args[0]);
    if (other == null) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    vMinecraftUsers.getProfile(other).setSuffix(args[1]);
    return EXIT_SUCCESS;
  }
  if (!player.canUseCommand("String_Node_Str")) {
    return EXIT_FAIL;
  }
  if (args.length < 1) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (args[0].length() > 10) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  vMinecraftUsers.getProfile(player).setSuffix(args[0]);
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int suffix(Player player,String[] args){
  if (player.canUseCommand("String_Node_Str")) {
    if (args.length < 2) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    if (args[1].length() > 20) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    Player other=etc.getServer().matchPlayer(args[0]);
    if (other == null) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    vMinecraftUsers.getProfile(other).setSuffix(args[1]);
    return EXIT_SUCCESS;
  }
  if (!player.canUseCommand("String_Node_Str")) {
    return EXIT_FAIL;
  }
  if (args.length < 1) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (args[0].length() > 20) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  vMinecraftUsers.getProfile(player).setSuffix(args[0]);
  return EXIT_SUCCESS;
}
Program: 25250
Project: 25250
Buggy source:
public static int nickName(Player player,String[] args){
  if (player.canUseCommand("String_Node_Str")) {
    if (args.length < 2) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    if (args[1].length() > 20) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    Player other=etc.getServer().matchPlayer(args[0]);
    if (other == null) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    vMinecraftUsers.getProfile(other).setNick(args[1]);
    return EXIT_SUCCESS;
  }
  if (!player.canUseCommand("String_Node_Str")) {
    return EXIT_FAIL;
  }
  if (args[0].length() > 20) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (args.length < 1) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  vMinecraftUsers.getProfile(player).setNick(args[0]);
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int nickName(Player player,String[] args){
  if (player.canUseCommand("String_Node_Str")) {
    if (args.length < 2) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    if (args[1].length() > 30) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    Player other=etc.getServer().matchPlayer(args[0]);
    if (other == null) {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
      return EXIT_SUCCESS;
    }
    vMinecraftUsers.getProfile(other).setNick(args[1]);
    return EXIT_SUCCESS;
  }
  if (!player.canUseCommand("String_Node_Str")) {
    return EXIT_FAIL;
  }
  if (args[0].length() > 30) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (args.length < 1) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  vMinecraftUsers.getProfile(player).setNick(args[0]);
  return EXIT_SUCCESS;
}
Program: 25251
Project: 25251
Buggy source:
public static int addIgnored(Player player,String[] args){
  if (args.length > 0) {
    Player ignore=etc.getServer().matchPlayer(args[0]);
    if (ignore != null) {
      if (!ignore.getName().equalsIgnoreCase(player.getName())) {
        if (vMinecraftUsers.getProfile(player).addIgnore(ignore))         vMinecraftChat.sendMessage(player,player,Colors.Rose + ignore.getName() + "String_Node_Str"+ "String_Node_Str");
 else         vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str" + ignore.getName());
      }
 else       vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    }
 else     vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
  }
 else   vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int addIgnored(Player player,String[] args){
  if (args.length < 1) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player ignore=etc.getServer().matchPlayer(args[0]);
  if (ignore == null) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (!ignore.getName().equalsIgnoreCase(player.getName())) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (vMinecraftUsers.getProfile(player).addIgnore(ignore))   vMinecraftChat.sendMessage(player,player,Colors.Rose + ignore.getName() + "String_Node_Str");
 else   vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str" + ignore.getName());
  return EXIT_SUCCESS;
}
Program: 25252
Project: 25252
Buggy source:
public static int adminChatToggle(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().adminChatToggle())   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().isAdminToggled(player.getName())) {
    player.sendMessage(Colors.Red + "String_Node_Str");
    vMinecraftSettings.getInstance().removeAdminToggled(player.getName());
  }
 else {
    player.sendMessage(Colors.Blue + "String_Node_Str");
    vMinecraftSettings.getInstance().addAdminToggled(player.getName());
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int adminChatToggle(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().adminChatToggle())   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().isAdminToggled(player.getName())) {
    player.sendMessage(Colors.Red + "String_Node_Str");
    vMinecraftSettings.getInstance().removeAdminToggled(player.getName());
  }
 else {
    player.sendMessage(Colors.Blue + "String_Node_Str");
    vMinecraftSettings.getInstance().addAdminToggled(player.getName());
  }
  return EXIT_SUCCESS;
}
Program: 25253
Project: 25253
Buggy source:
public static int rules(Player player,String[] args){
  if (vMinecraftSettings.getInstance().cmdRules() && vMinecraftSettings.getInstance().getRules().length > 0) {
    return EXIT_FAIL;
  }
  String[] rules=vMinecraftChat.applyColors(vMinecraftSettings.getInstance().getRules());
  for (  String str : rules) {
    if (!str.isEmpty())     player.sendMessage(Colors.Blue + str);
 else     player.sendMessage(Colors.Blue + "String_Node_Str");
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int rules(Player player,String[] args){
  if (!vMinecraftSettings.getInstance().cmdRules() && vMinecraftSettings.getInstance().getRules().length > 0 && !vMinecraftSettings.getInstance().getRules()[0].isEmpty()) {
    return EXIT_FAIL;
  }
  String[] rules=vMinecraftChat.applyColors(vMinecraftSettings.getInstance().getRules());
  for (  String str : rules) {
    if (!str.isEmpty())     player.sendMessage(Colors.Blue + str);
 else     player.sendMessage(Colors.Blue + "String_Node_Str");
  }
  return EXIT_SUCCESS;
}
Program: 25254
Project: 25254
Buggy source:
public static int ezlist(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().cmdEzModo())   return EXIT_FAIL;
  player.sendMessage("String_Node_Str" + vMinecraftSettings.getInstance().ezModoList());
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int ezlist(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdEzModo())   return EXIT_FAIL;
  player.sendMessage("String_Node_Str" + vMinecraftSettings.getInstance().ezModoList());
  return EXIT_SUCCESS;
}
Program: 25255
Project: 25255
Buggy source:
public static int invuln(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().cmdEzModo())   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().isEzModo(player.getName())) {
    player.sendMessage(Colors.Red + "String_Node_Str");
    vMinecraftSettings.getInstance().removeEzModo(player.getName());
  }
 else {
    player.sendMessage(Colors.LightBlue + "String_Node_Str");
    player.sendMessage(Colors.Rose + "String_Node_Str");
    player.sendMessage(Colors.LightBlue + "String_Node_Str" + "String_Node_Str");
    player.sendMessage(Colors.Red + "String_Node_Str");
    vMinecraftSettings.getInstance().addEzModo(player.getName());
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int invuln(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdEzModo())   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().isEzModo(player.getName())) {
    player.sendMessage(Colors.Red + "String_Node_Str");
    vMinecraftSettings.getInstance().removeEzModo(player.getName());
  }
 else {
    player.sendMessage(Colors.LightBlue + "String_Node_Str");
    player.sendMessage(Colors.Rose + "String_Node_Str");
    player.sendMessage(Colors.LightBlue + "String_Node_Str" + "String_Node_Str");
    player.sendMessage(Colors.Red + "String_Node_Str");
    vMinecraftSettings.getInstance().addEzModo(player.getName());
  }
  return EXIT_SUCCESS;
}
Program: 25256
Project: 25256
Buggy source:
public static int whois(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().cmdWhoIs())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget != null) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  player.sendMessage(Colors.Blue + "String_Node_Str" + vMinecraftChat.getName(playerTarget));
  for (  String group : playerTarget.getGroups())   player.sendMessage(Colors.Blue + "String_Node_Str" + group);
  if (player.isAdmin()) {
    player.sendMessage(Colors.Blue + "String_Node_Str" + String.valueOf(playerTarget.isAdmin()));
    player.sendMessage(Colors.Blue + "String_Node_Str" + playerTarget.getIP());
    player.sendMessage(Colors.Blue + "String_Node_Str" + String.valueOf(playerTarget.canIgnoreRestrictions()));
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int whois(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdWhoIs())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  player.sendMessage(Colors.Blue + "String_Node_Str" + vMinecraftChat.getName(playerTarget));
  for (  String group : playerTarget.getGroups())   player.sendMessage(Colors.Blue + "String_Node_Str" + group);
  if (player.isAdmin()) {
    player.sendMessage(Colors.Blue + "String_Node_Str" + String.valueOf(playerTarget.isAdmin()));
    player.sendMessage(Colors.Blue + "String_Node_Str" + playerTarget.getIP());
    player.sendMessage(Colors.Blue + "String_Node_Str" + String.valueOf(playerTarget.canIgnoreRestrictions()));
  }
  return EXIT_SUCCESS;
}
Program: 25257
Project: 25257
Buggy source:
public static int heal(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().cmdHeal())   return EXIT_FAIL;
  if (args.length < 1) {
    player.setHealth(20);
    player.sendMessage("String_Node_Str");
  }
 else   if (args.length > 0) {
    Player playerTarget=etc.getServer().matchPlayer(args[0]);
    if (playerTarget != null) {
      playerTarget.setHealth(20);
      player.sendMessage(Colors.Blue + "String_Node_Str" + vMinecraftChat.getName(playerTarget));
      playerTarget.sendMessage(Colors.Blue + "String_Node_Str" + vMinecraftChat.getName(player));
    }
 else     if (playerTarget == null) {
      player.sendMessage(Colors.Rose + "String_Node_Str");
    }
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int heal(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdHeal())   return EXIT_FAIL;
  if (args.length < 1) {
    player.setHealth(20);
    player.sendMessage("String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  playerTarget.setHealth(20);
  player.sendMessage(Colors.Blue + "String_Node_Str" + vMinecraftChat.getName(playerTarget));
  playerTarget.sendMessage(Colors.Blue + "String_Node_Str" + vMinecraftChat.getName(player));
  return EXIT_SUCCESS;
}
Program: 25258
Project: 25258
Buggy source:
public static int reply(Player player,String[] args){
  if (vMinecraftUsers.getProfile(player) == null) {
    return EXIT_SUCCESS;
  }
  Player toPlayer=vMinecraftUsers.getProfile(player).getMessage();
  if (toPlayer != null && args.length > 0) {
    String msg=etc.combineSplit(0,args,"String_Node_Str");
    vMinecraftChat.sendMessage(player,toPlayer,Colors.LightGreen + "String_Node_Str" + vMinecraftChat.getName(player)+ Colors.LightGreen+ "String_Node_Str"+ msg);
    vMinecraftChat.sendMessage(player,player,Colors.LightGreen + "String_Node_Str" + vMinecraftChat.getName(toPlayer)+ Colors.LightGreen+ "String_Node_Str"+ msg);
    vMinecraftUsers.getProfile(player).setMessage(toPlayer);
    vMinecraftUsers.getProfile(toPlayer).setMessage(player);
    log.log(Level.INFO,player.getName() + "String_Node_Str" + toPlayer.getName()+ "String_Node_Str"+ msg);
  }
 else {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int reply(Player player,String[] args){
  if (vMinecraftUsers.getProfile(player) == null) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (args.length < 1) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player toPlayer=vMinecraftUsers.getProfile(player).getMessage();
  if (toPlayer == null) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  String msg=etc.combineSplit(0,args,"String_Node_Str");
  vMinecraftChat.sendMessage(player,toPlayer,Colors.LightGreen + "String_Node_Str" + vMinecraftChat.getName(player)+ Colors.LightGreen+ "String_Node_Str"+ msg);
  vMinecraftChat.sendMessage(player,player,Colors.LightGreen + "String_Node_Str" + vMinecraftChat.getName(toPlayer)+ Colors.LightGreen+ "String_Node_Str"+ msg);
  vMinecraftUsers.getProfile(player).setMessage(toPlayer);
  vMinecraftUsers.getProfile(toPlayer).setMessage(player);
  log.log(Level.INFO,player.getName() + "String_Node_Str" + toPlayer.getName()+ "String_Node_Str"+ msg);
  return EXIT_SUCCESS;
}
Program: 25259
Project: 25259
Buggy source:
public static int tphere(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().cmdTphere())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str" + "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
 else {
    log.log(Level.INFO,player.getName() + "String_Node_Str" + player.getName()+ "String_Node_Str");
    playerTarget.teleportTo(player);
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int tphere(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdTphere())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str" + "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
 else {
    log.log(Level.INFO,player.getName() + "String_Node_Str" + player.getName()+ "String_Node_Str");
    playerTarget.teleportTo(player);
  }
  return EXIT_SUCCESS;
}
Program: 25260
Project: 25260
Buggy source:
public static int slay(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().cmdEzModo())   return EXIT_FAIL;
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (vMinecraftSettings.getInstance().isEzModo(playerTarget.getName())) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
  }
  playerTarget.setHealth(0);
  vMinecraftChat.gmsg(player,vMinecraftChat.getName(player) + Colors.LightBlue + "String_Node_Str"+ vMinecraftChat.getName(playerTarget));
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int slay(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdEzModo())   return EXIT_FAIL;
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  if (vMinecraftSettings.getInstance().isEzModo(playerTarget.getName())) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
  }
  playerTarget.setHealth(0);
  vMinecraftChat.gmsg(player,vMinecraftChat.getName(player) + Colors.LightBlue + "String_Node_Str"+ vMinecraftChat.getName(playerTarget));
  return EXIT_SUCCESS;
}
Program: 25261
Project: 25261
Buggy source:
public static int say(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (vMinecraftSettings.getInstance().cmdSay())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
  }
  vMinecraftChat.gmsg(player,Colors.Yellow + etc.combineSplit(0,args,"String_Node_Str"));
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int say(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdSay())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
  }
  vMinecraftChat.gmsg(player,Colors.Yellow + etc.combineSplit(0,args,"String_Node_Str"));
  return EXIT_SUCCESS;
}
Program: 25262
Project: 25262
Buggy source:
public static int message(Player player,String[] args){
  if (args.length > 1) {
    String msg=etc.combineSplit(1,args,"String_Node_Str");
    Player toPlayer=etc.getServer().matchPlayer(args[0]);
    if (toPlayer != null && args.length > 0) {
      vMinecraftChat.sendMessage(player,toPlayer,Colors.LightGreen + "String_Node_Str" + vMinecraftChat.getName(player)+ Colors.LightGreen+ "String_Node_Str"+ msg);
      vMinecraftChat.sendMessage(player,player,Colors.LightGreen + "String_Node_Str" + vMinecraftChat.getName(toPlayer)+ Colors.LightGreen+ "String_Node_Str"+ msg);
      vMinecraftUsers.getProfile(player).setMessage(toPlayer);
      vMinecraftUsers.getProfile(toPlayer).setMessage(player);
      log.log(Level.INFO,player.getName() + "String_Node_Str" + toPlayer.getName()+ "String_Node_Str"+ msg);
    }
 else {
      vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
    }
  }
 else {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
  }
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int message(Player player,String[] args){
  if (args.length > 1) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player toPlayer=etc.getServer().matchPlayer(args[0]);
  if (toPlayer != null && args.length > 0) {
    vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
    return EXIT_SUCCESS;
  }
  String msg=etc.combineSplit(1,args,"String_Node_Str");
  vMinecraftChat.sendMessage(player,toPlayer,Colors.LightGreen + "String_Node_Str" + vMinecraftChat.getName(player)+ Colors.LightGreen+ "String_Node_Str"+ msg);
  vMinecraftChat.sendMessage(player,player,Colors.LightGreen + "String_Node_Str" + vMinecraftChat.getName(toPlayer)+ Colors.LightGreen+ "String_Node_Str"+ msg);
  vMinecraftUsers.getProfile(player).setMessage(toPlayer);
  vMinecraftUsers.getProfile(toPlayer).setMessage(player);
  log.log(Level.INFO,player.getName() + "String_Node_Str" + toPlayer.getName()+ "String_Node_Str"+ msg);
  return EXIT_SUCCESS;
}
Program: 25263
Project: 25263
Buggy source:
public static int masstp(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str")) {
    return EXIT_FAIL;
  }
  if (vMinecraftSettings.getInstance().cmdMasstp())   return EXIT_FAIL;
  for (  Player p : etc.getServer().getPlayerList()) {
    if (!p.hasControlOver(player)) {
      p.teleportTo(player);
    }
  }
  player.sendMessage(Colors.Blue + "String_Node_Str");
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int masstp(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdMasstp())   return EXIT_FAIL;
  for (  Player p : etc.getServer().getPlayerList()) {
    if (!p.hasControlOver(player)) {
      p.teleportTo(player);
    }
  }
  player.sendMessage(Colors.Blue + "String_Node_Str");
  return EXIT_SUCCESS;
}
Program: 25264
Project: 25264
Buggy source:
public static int fabulous(Player player,String[] args){
  if (vMinecraftSettings.getInstance().cmdFabulous())   return EXIT_FAIL;
  if (args.length < 1) {
    return EXIT_SUCCESS;
  }
  String playerName=Colors.White + "String_Node_Str" + vMinecraftChat.getName(player)+ Colors.White+ "String_Node_Str";
  String str=etc.combineSplit(0,args,"String_Node_Str");
  log.log(Level.INFO,player.getName() + "String_Node_Str" + str+ "String_Node_Str");
  vMinecraftChat.gmsg(player,playerName + vMinecraftChat.rainbow(str));
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int fabulous(Player player,String[] args){
  if (!vMinecraftSettings.getInstance().cmdFabulous())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  String playerName=Colors.White + "String_Node_Str" + vMinecraftChat.getName(player)+ Colors.White+ "String_Node_Str";
  String str=etc.combineSplit(0,args,"String_Node_Str");
  log.log(Level.INFO,player.getName() + "String_Node_Str" + str+ "String_Node_Str");
  vMinecraftChat.gmsg(player,playerName + vMinecraftChat.rainbow(str));
  return EXIT_SUCCESS;
}
Program: 25265
Project: 25265
Buggy source:
public static int who(Player player,String[] args){
  if (vMinecraftSettings.getInstance().cmdWho())   return EXIT_FAIL;
  int count=0;
  String tempList="String_Node_Str";
  for (  Player p : etc.getServer().getPlayerList()) {
    if (p != null) {
      if (count == 0)       tempList+=vMinecraftChat.getName(p);
 else       tempList+=Colors.White + "String_Node_Str" + vMinecraftChat.getName(p);
      count++;
    }
  }
  PropertiesFile server=new PropertiesFile("String_Node_Str");
  try {
    server.load();
  }
 catch (  IOException e) {
    e.printStackTrace();
  }
  int maxPlayers=server.getInt("String_Node_Str");
  vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str" + count+ "String_Node_Str"+ maxPlayers+ "String_Node_Str"+ tempList);
  return EXIT_SUCCESS;
}

Fixed version (ground truth):
public static int who(Player player,String[] args){
  if (!vMinecraftSettings.getInstance().cmdWho())   return EXIT_FAIL;
  int count=0;
  String tempList="String_Node_Str";
  for (  Player p : etc.getServer().getPlayerList()) {
    if (p != null) {
      if (count == 0)       tempList+=vMinecraftChat.getName(p);
 else       tempList+=Colors.White + "String_Node_Str" + vMinecraftChat.getName(p);
      count++;
    }
  }
  PropertiesFile server=new PropertiesFile("String_Node_Str");
  try {
    server.load();
  }
 catch (  IOException e) {
    e.printStackTrace();
  }
  int maxPlayers=server.getInt("String_Node_Str");
  vMinecraftChat.sendMessage(player,player,Colors.Rose + "String_Node_Str" + count+ "String_Node_Str"+ maxPlayers+ "String_Node_Str"+ tempList);
  return EXIT_SUCCESS;
}
Program: 25266
Project: 25266
Buggy source:
public void addAlias(String name,String callCommand,String[] args){
  aliasList.registerAlias(name,callCommand,args);
}

Fixed version (ground truth):
public void addAlias(String name,String callCommand){
  aliasList.registerAlias(name,callCommand);
}
Program: 25267
Project: 25267
Buggy source:
public PlayerProfile(Player player){
  playerName=player.getName();
  nickName=new String();
  tag=new String();
  suffix=new String();
  ignoreList=new ArrayList<Player>();
  aliasList=new commandList();
  String location="String_Node_Str";
  try {
    Scanner scanner=new Scanner(new File(location));
    while (scanner.hasNextLine()) {
      String line=scanner.nextLine();
      if (line.startsWith("String_Node_Str") || line.equals("String_Node_Str") || line.startsWith("String_Node_Str")) {
        continue;
      }
      String[] split=line.split("String_Node_Str");
      if (split.length > 0 && split[0].equalsIgnoreCase(player.getName())) {
        nickName=(split[1].split("String_Node_Str").toString());
        suffix=split[2];
        if (split.length >= 4) {
          tag=(split[3]);
        }
        if (split.length >= 5) {
          for (          String name : split[4].split("String_Node_Str"))           ignoreList.add(etc.getServer().getPlayer(name));
        }
        if (split.length >= 6) {
          for (          String alias : split[5].split("String_Node_Str")) {
            String[] parts=alias.split("String_Node_Str");
            if (parts.length > 1) {
              String[] command=parts[1].split("String_Node_Str");
              String[] args=null;
              if (command.length > 1)               System.arraycopy(command,1,args,0,command.length - 2);
              aliasList.registerAlias(parts[0],command[0],args);
            }
          }
        }
        break;
      }
    }
    scanner.close();
  }
 catch (  Exception e) {
    log.log(Level.SEVERE,"String_Node_Str" + location + "String_Node_Str",e);
  }
}

Fixed version (ground truth):
public PlayerProfile(Player player){
  playerName=player.getName();
  nickName=new String();
  tag=new String();
  suffix=new String();
  ignoreList=new ArrayList<Player>();
  aliasList=new commandList();
  String location="String_Node_Str";
  try {
    Scanner scanner=new Scanner(new File(location));
    while (scanner.hasNextLine()) {
      String line=scanner.nextLine();
      if (line.startsWith("String_Node_Str") || line.equals("String_Node_Str") || line.startsWith("String_Node_Str")) {
        continue;
      }
      String[] split=line.split("String_Node_Str");
      if (split.length > 0 && split[0].equalsIgnoreCase(player.getName())) {
        nickName=(split[1].split("String_Node_Str").toString());
        suffix=split[2];
        if (split.length >= 4) {
          tag=(split[3]);
        }
        if (split.length >= 5) {
          for (          String name : split[4].split("String_Node_Str"))           ignoreList.add(etc.getServer().getPlayer(name));
        }
        if (split.length >= 6) {
          for (          String alias : split[5].split("String_Node_Str")) {
            String[] parts=alias.split("String_Node_Str");
            if (parts.length > 1) {
              aliasList.registerAlias(parts[0],parts[2]);
            }
          }
        }
        break;
      }
    }
    scanner.close();
  }
 catch (  Exception e) {
    log.log(Level.SEVERE,"String_Node_Str" + location + "String_Node_Str",e);
  }
}
Program: 25268
Project: 25268
Buggy source:
public static boolean adminChat(Player player,String message){
  if (player.isAdmin() || player.canUseCommand("String_Node_Str")) {
    String adminchat=Colors.DarkPurple + "String_Node_Str" + getName(player)+ Colors.DarkPurple+ "String_Node_Str"+ Colors.White+ "String_Node_Str";
    if (message.startsWith("String_Node_Str"))     message=message.substring(1,message.length());
    for (    Player p : etc.getServer().getPlayerList()) {
      if (p != null) {
        if (p.isAdmin() || (p.canUseCommand("String_Node_Str"))) {
          sendMessage(player,p,adminchat + message);
        }
      }
    }
    log.log(Level.INFO,"String_Node_Str" + "String_Node_Str" + getName(player) + Colors.White+ "String_Node_Str"+ message);
    return true;
  }
  return false;
}

Fixed version (ground truth):
public static boolean adminChat(Player player,String message){
  if (player.isAdmin() || player.canUseCommand("String_Node_Str")) {
    String adminchat=Colors.DarkPurple + "String_Node_Str" + getName(player)+ Colors.DarkPurple+ "String_Node_Str";
    if (message.startsWith("String_Node_Str"))     message=message.substring(1,message.length());
    for (    Player p : etc.getServer().getPlayerList()) {
      if (p != null) {
        if (p.isAdmin() || (p.canUseCommand("String_Node_Str"))) {
          sendMessage(player,p,adminchat + message);
        }
      }
    }
    log.log(Level.INFO,"String_Node_Str" + "String_Node_Str" + getName(player) + Colors.White+ "String_Node_Str"+ message);
    return true;
  }
  return false;
}
Program: 25269
Project: 25269
Buggy source:
public static boolean adminChat(Player player,String message){
  if (player.isAdmin() || player.canUseCommand("String_Node_Str")) {
    String adminchat=Colors.DarkPurple + "String_Node_Str" + player.getColor()+ player.getName()+ Colors.DarkPurple+ "String_Node_Str"+ Colors.White+ "String_Node_Str";
    for (    Player p : etc.getServer().getPlayerList()) {
      if (p != null) {
        if (p.isAdmin() || (p.canUseCommand("String_Node_Str"))) {
          p.sendMessage(adminchat + message.substring(1,message.length()));
        }
      }
    }
    log.log(Level.INFO,"String_Node_Str" + "String_Node_Str" + nameColor(player) + Colors.White+ "String_Node_Str"+ message);
    return true;
  }
  return false;
}

Fixed version (ground truth):
public static boolean adminChat(Player player,String message){
  if (player.isAdmin() || player.canUseCommand("String_Node_Str")) {
    String adminchat=Colors.DarkPurple + "String_Node_Str" + nameColor(player)+ Colors.DarkPurple+ "String_Node_Str"+ Colors.White+ "String_Node_Str";
    String[] msg=wordWrap(player,message.substring(1,message.length()));
    for (    Player p : etc.getServer().getPlayerList()) {
      if (p != null) {
        if (p.isAdmin() || (p.canUseCommand("String_Node_Str"))) {
          p.sendMessage(adminchat + msg[0]);
          String[] tempOut=new String[msg.length - 1];
          System.arraycopy(msg,1,tempOut,0,tempOut.length);
          for (          String str : tempOut)           p.sendMessage(str);
        }
      }
    }
    log.log(Level.INFO,"String_Node_Str" + "String_Node_Str" + nameColor(player) + Colors.White+ "String_Node_Str"+ message);
    return true;
  }
  return false;
}
Program: 25270
Project: 25270
Buggy source:
public static boolean quote(Player player,String message){
  String playerName="String_Node_Str" + nameColor(player) + Colors.White+ "String_Node_Str";
  if (vminecraftSettings.getInstance().greentext()) {
    log.log(Level.INFO,"String_Node_Str" + player.getName() + "String_Node_Str"+ message);
    gmsg(playerName + Colors.LightGreen + message);
  }
  return false;
}

Fixed version (ground truth):
public static boolean quote(Player player,String message){
  String playerName="String_Node_Str" + nameColor(player) + Colors.White+ "String_Node_Str";
  if (vminecraftSettings.getInstance().greentext()) {
    log.log(Level.INFO,"String_Node_Str" + player.getName() + "String_Node_Str"+ message);
    String[] msg=wordWrap(player,message);
    gmsg(playerName + Colors.LightGreen + msg[0]);
    String[] tempOut=new String[msg.length - 1];
    System.arraycopy(msg,1,tempOut,0,tempOut.length);
    for (    String str : tempOut)     gmsg(Colors.LightGreen + str);
    return true;
  }
  return false;
}