nus-yam/ex-repair huggingface dataset:
Program: 84993
Project: 84993
Buggy source:
public void onPlayerCommand(PlayerChatEvent event){
  String[] split=event.getMessage().split("String_Node_Str");
  Player player=event.getPlayer();
  if (split[0].equalsIgnoreCase("String_Node_Str") || split[0].equalsIgnoreCase("String_Node_Str")) {
    event.setCancelled(true);
    String tempList="String_Node_Str";
    int x=0;
    for (    Player p : plugin.getServer().getOnlinePlayers()) {
      if (p != null && x < playerCount()) {
        tempList+=p.getName() + "String_Node_Str";
        x++;
      }
      if (x >= playerCount())       tempList+=p.getName();
    }
    player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.WHITE+ tempList+ ChatColor.RED+ "String_Node_Str");
    player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.GREEN+ playerCount());
  }
}

Fixed version (ground truth):
public void onPlayerCommand(PlayerChatEvent event){
  String[] split=event.getMessage().split("String_Node_Str");
  Player player=event.getPlayer();
  if (split[0].equalsIgnoreCase("String_Node_Str") || split[0].equalsIgnoreCase("String_Node_Str")) {
    event.setCancelled(true);
    String tempList="String_Node_Str";
    int x=0;
    for (    Player p : plugin.getServer().getOnlinePlayers()) {
      if (p != null && x + 1 == playerCount()) {
        tempList+=p.getName();
        x++;
      }
      if (p != null && x < playerCount()) {
        tempList+=p.getName() + "String_Node_Str";
        x++;
      }
    }
    player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.WHITE+ tempList+ ChatColor.RED+ "String_Node_Str");
    player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.GREEN+ playerCount());
  }
}
Program: 84995
Project: 84995
Buggy source:
public void onEnable(){
  mcUsers.getInstance().loadUsers();
  PluginManager pm=getServer().getPluginManager();
  pm.registerEvent(Event.Type.PLAYER_JOIN,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_DROP_ITEM,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_QUIT,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_COMMAND,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.BLOCK_DAMAGED,blockListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_CHAT,playerListener,Priority.Monitor,this);
  pm.registerEvent(Event.Type.ENTITY_DAMAGEDBY_ENTITY,entityListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.ENTITY_DEATH,entityListener,Priority.Normal,this);
  PluginDescriptionFile pdfFile=this.getDescription();
  System.out.println(pdfFile.getName() + "String_Node_Str" + pdfFile.getVersion()+ "String_Node_Str");
}

Fixed version (ground truth):
public void onEnable(){
  mcUsers.getInstance().loadUsers();
  PluginManager pm=getServer().getPluginManager();
  pm.registerEvent(Event.Type.PLAYER_JOIN,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_DROP_ITEM,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_QUIT,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_COMMAND,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.BLOCK_DAMAGED,blockListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_CHAT,playerListener,Priority.Monitor,this);
  pm.registerEvent(Event.Type.ENTITY_DAMAGEDBY_ENTITY,entityListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.ENTITY_DEATH,entityListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.BLOCK_FLOW,blockListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.BLOCK_PLACED,blockListener,Priority.Normal,this);
  PluginDescriptionFile pdfFile=this.getDescription();
  System.out.println(pdfFile.getName() + "String_Node_Str" + pdfFile.getVersion()+ "String_Node_Str");
}
Program: 84996
Project: 84996
Buggy source:
public void onPlayerJoin(PlayerEvent event){
  Player player=event.getPlayer();
  mcUsers.addUser(player);
  player.sendMessage(ChatColor.DARK_RED + "String_Node_Str");
  player.sendMessage(ChatColor.DARK_RED + "String_Node_Str");
  player.sendMessage(ChatColor.AQUA + "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage("String_Node_Str" + ChatColor.YELLOW + "String_Node_Str"+ ChatColor.WHITE+ "String_Node_Str");
  player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.DARK_GRAY+ "String_Node_Str");
}

Fixed version (ground truth):
public void onPlayerJoin(PlayerEvent event){
  Player player=event.getPlayer();
  mcUsers.addUser(player);
  player.sendMessage(ChatColor.DARK_RED + "String_Node_Str");
  player.sendMessage(ChatColor.DARK_RED + "String_Node_Str");
  player.sendMessage(ChatColor.AQUA + "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage("String_Node_Str" + ChatColor.YELLOW + "String_Node_Str"+ ChatColor.WHITE+ "String_Node_Str");
  player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.DARK_GRAY+ "String_Node_Str");
}
Program: 84999
Project: 84999
Buggy source:
public void onPlayerChat(PlayerChatEvent event){
  Player player=event.getPlayer();
  String[] split=event.getMessage().split("String_Node_Str");
  String x=ChatColor.GREEN + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.GREEN+ "String_Node_Str";
  String y=ChatColor.AQUA + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.AQUA+ "String_Node_Str";
  if (mcConfig.getInstance().isPartyToggled(player.getName())) {
    event.setCancelled(true);
    for (    Player herp : plugin.getServer().getOnlinePlayers()) {
      if (mcUsers.getProfile(herp).inParty()) {
        if (mcm.inSameParty(herp,player)) {
          herp.sendMessage(x + event.getMessage());
        }
      }
    }
    return;
  }
  if (player.isOp() && mcConfig.getInstance().isAdminToggled(player.getName())) {
    event.setCancelled(true);
    for (    Player herp : plugin.getServer().getOnlinePlayers()) {
      if (herp.isOp()) {
        herp.sendMessage(y + event.getMessage());
      }
    }
    return;
  }
  if (player.isOp()) {
    event.setCancelled(true);
    for (    Player derp : plugin.getServer().getOnlinePlayers()) {
      String z=ChatColor.RED + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.RED+ "String_Node_Str"+ ChatColor.WHITE;
      derp.sendMessage(z + event.getMessage());
    }
  }
}

Fixed version (ground truth):
public void onPlayerChat(PlayerChatEvent event){
  Player player=event.getPlayer();
  String[] split=event.getMessage().split("String_Node_Str");
  String x=ChatColor.GREEN + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.GREEN+ "String_Node_Str";
  String y=ChatColor.AQUA + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.AQUA+ "String_Node_Str";
  if (mcConfig.getInstance().isPartyToggled(player.getName())) {
    event.setCancelled(true);
    for (    Player herp : plugin.getServer().getOnlinePlayers()) {
      if (mcUsers.getProfile(herp).inParty()) {
        if (mcm.getInstance().inSameParty(herp,player)) {
          herp.sendMessage(x + event.getMessage());
        }
      }
    }
    return;
  }
  if (player.isOp() && mcConfig.getInstance().isAdminToggled(player.getName())) {
    event.setCancelled(true);
    for (    Player herp : plugin.getServer().getOnlinePlayers()) {
      if (herp.isOp()) {
        herp.sendMessage(y + event.getMessage());
      }
    }
    return;
  }
  if (player.isOp()) {
    event.setCancelled(true);
    for (    Player derp : plugin.getServer().getOnlinePlayers()) {
      String z=ChatColor.RED + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.RED+ "String_Node_Str"+ ChatColor.WHITE;
      derp.sendMessage(z + event.getMessage());
    }
  }
}
Program: 85001
Project: 85001
Buggy source:
public static boolean inSameParty(Player playera,Player playerb){
  if (mcUsers.getProfile(playera).getParty().equals(mcUsers.getProfile(playerb).getParty())) {
    return true;
  }
 else {
    return false;
  }
}

Fixed version (ground truth):
public boolean inSameParty(Player playera,Player playerb){
  if (mcUsers.getProfile(playera).getParty().equals(mcUsers.getProfile(playerb).getParty())) {
    return true;
  }
 else {
    return false;
  }
}
Program: 85002
Project: 85002
Buggy source:
public boolean onConsoleCommand(String[] split){
  String server=Colors.LightGreen + "String_Node_Str" + Colors.DarkPurple;
  if (split[0].equalsIgnoreCase("String_Node_Str")) {
    if (split.length > 1) {
      String args="String_Node_Str" + etc.combineSplit(1,split,"String_Node_Str");
      vChat.gmsg(server + "String_Node_Str" + args);
      log.log(Level.INFO,"String_Node_Str" + args);
      return true;
    }
    return false;
  }
  if (split[0].equalsIgnoreCase("String_Node_Str"))   vChat.gmsg(server + "String_Node_Str");
  log.log(Level.INFO,"String_Node_Str" + "String_Node_Str");
  return false;
}

Fixed version (ground truth):
public boolean onConsoleCommand(String[] split){
  String server=Colors.LightGreen + "String_Node_Str" + Colors.DarkPurple;
  if (split[0].equalsIgnoreCase("String_Node_Str")) {
    if (split.length > 1) {
      String args="String_Node_Str" + etc.combineSplit(1,split,"String_Node_Str");
      vChat.gmsg(server + "String_Node_Str" + args);
      log.log(Level.INFO,"String_Node_Str" + args);
      return true;
    }
    return false;
  }
  if (split[0].equalsIgnoreCase("String_Node_Str")) {
    vChat.gmsg(server + "String_Node_Str");
    log.log(Level.INFO,"String_Node_Str" + "String_Node_Str");
  }
  return false;
}
Program: 85005
Project: 85005
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: 85006
Project: 85006
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: 85007
Project: 85007
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: 85008
Project: 85008
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: 85009
Project: 85009
Buggy source:
public boolean isSilent(){
  if (silent == true) {
    return true;
  }
 else {
    return false;
  }
}

Fixed version (ground truth):
public boolean isSilent(){
  return silent;
}
Program: 85010
Project: 85010
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: 85012
Project: 85012
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: 85014
Project: 85014
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: 85015
Project: 85015
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: 85019
Project: 85019
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: 85020
Project: 85020
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: 85021
Project: 85021
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: 85022
Project: 85022
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: 85023
Project: 85023
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: 85024
Project: 85024
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: 85025
Project: 85025
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: 85026
Project: 85026
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: 85027
Project: 85027
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: 85028
Project: 85028
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: 85029
Project: 85029
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: 85030
Project: 85030
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: 85031
Project: 85031
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: 85032
Project: 85032
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;
}