nus-yam/ex-repair huggingface dataset:
Program: 25084
Project: 25084
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: 25085
Project: 25085
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: 25086
Project: 25086
Buggy source:
public boolean isSilent(){
  if (silent == true) {
    return true;
  }
 else {
    return false;
  }
}

Fixed version (ground truth):
public boolean isSilent(){
  return silent;
}
Program: 25088
Project: 25088
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: 25089
Project: 25089
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: 25090
Project: 25090
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: 25091
Project: 25091
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: 25092
Project: 25092
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: 25093
Project: 25093
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: 25094
Project: 25094
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: 25095
Project: 25095
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: 25096
Project: 25096
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: 25097
Project: 25097
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: 25098
Project: 25098
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: 25099
Project: 25099
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: 25100
Project: 25100
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: 25101
Project: 25101
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: 25102
Project: 25102
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: 25103
Project: 25103
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: 25105
Project: 25105
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: 25106
Project: 25106
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: 25110
Project: 25110
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: 25111
Project: 25111
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: 25112
Project: 25112
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: 25114
Project: 25114
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: 25115
Project: 25115
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;
}
Program: 25116
Project: 25116
Buggy source:
public static boolean rage(Player player,String message){
  String playerName="String_Node_Str" + nameColor(player) + Colors.White+ "String_Node_Str";
  if (vminecraftSettings.getInstance().FFF()) {
    log.log(Level.INFO,"String_Node_Str" + player.getName() + "String_Node_Str"+ message);
    gmsg(playerName + Colors.Red + message);
    return true;
  }
  return false;
}

Fixed version (ground truth):
public static boolean rage(Player player,String message){
  String playerName="String_Node_Str" + nameColor(player) + Colors.White+ "String_Node_Str";
  if (vminecraftSettings.getInstance().FFF()) {
    log.log(Level.INFO,"String_Node_Str" + player.getName() + "String_Node_Str"+ message);
    String[] msg=wordWrap(player,message);
    gmsg(playerName + Colors.Red + msg[0]);
    String[] tempOut=new String[msg.length - 1];
    System.arraycopy(msg,1,tempOut,0,tempOut.length);
    for (    String str : tempOut)     gmsg(Colors.Red + str);
    return true;
  }
  return false;
}
Program: 25117
Project: 25117
Buggy source:
public static boolean quakeColors(Player player,String message){
  String playerName="String_Node_Str" + nameColor(player) + Colors.White+ "String_Node_Str";
  if (vminecraftSettings.getInstance().quakeColors() && message.length() > 2 && vminecraftChat.lengthCheck(playerName + message)) {
    String temp="String_Node_Str";
    for (int x=0; x < message.length(); x++) {
      if (message.charAt(x) == '^' && x != message.length() - 1) {
        temp+=vminecraftChat.colorChange(message.charAt(x + 1));
        x++;
      }
 else {
        temp+=message.charAt(x);
      }
    }
    log.log(Level.INFO,"String_Node_Str" + player.getName() + "String_Node_Str"+ message);
    gmsg(playerName + temp + "String_Node_Str");
    return true;
  }
  return false;
}

Fixed version (ground truth):
public static boolean quakeColors(Player player,String message){
  String playerName="String_Node_Str" + nameColor(player) + Colors.White+ "String_Node_Str";
  if (vminecraftSettings.getInstance().quakeColors() && message.length() > 2) {
    log.log(Level.INFO,"String_Node_Str" + player.getName() + "String_Node_Str"+ message);
    String[] msg=wordWrap(player,message);
    applyColors(msg);
    gmsg(playerName + msg[0]);
    String[] tempOut=new String[msg.length - 1];
    System.arraycopy(msg,1,tempOut,0,tempOut.length);
    for (    String str : tempOut)     gmsg(str);
    return true;
  }
  return false;
}
Program: 25119
Project: 25119
Buggy source:
public void disable(){
  id.a.log(Level.INFO,"String_Node_Str");
}

Fixed version (ground truth):
public void disable(){
  log.log(Level.INFO,"String_Node_Str");
}
Program: 25120
Project: 25120
Buggy source:
public void enable(){
  settings.getInstance().loadSettings();
  id.a.log(Level.INFO,"String_Node_Str");
}

Fixed version (ground truth):
public void enable(){
  settings.getInstance().loadSettings();
  log.log(Level.INFO,"String_Node_Str");
}
Program: 25123
Project: 25123
Buggy source:
/** 
 * Retrieves the model corresponding to the modelKey and returns it
 * @param element
 * @param modelKey
 * @return
 * @throws ResourceNotFoundException
 */
private AbstractModel getModel(Element element,String modelKey) throws ResourceNotFoundException {
  String key=null;
  AbstractModel model=null;
  if (element instanceof Client || "String_Node_Str".equals(key)) {
    key="String_Node_Str";
  }
 else   if (element instanceof Appointment || "String_Node_Str".equals(key)) {
    key="String_Node_Str";
  }
 else   if (element instanceof Employee || "String_Node_Str".equals(key)) {
    key="String_Node_Str";
  }
 else {
    throw new ResourceNotFoundException("String_Node_Str" + element + "String_Node_Str"+ key+ "String_Node_Str","String_Node_Str");
  }
  model=this.models.get(key);
  return model;
}

Fixed version (ground truth):
/** 
 * Retrieves the model corresponding to the modelKey and returns it
 * @param element
 * @param modelKey
 * @return
 * @throws ResourceNotFoundException
 */
private AbstractModel getModel(Element element,String modelKey) throws ResourceNotFoundException {
  String key=null;
  AbstractModel model=null;
  if (element instanceof Client || "String_Node_Str".equals(modelKey)) {
    key="String_Node_Str";
  }
 else   if (element instanceof Appointment || "String_Node_Str".equals(modelKey)) {
    key="String_Node_Str";
  }
 else   if (element instanceof Employee || "String_Node_Str".equals(modelKey)) {
    key="String_Node_Str";
  }
 else {
    throw new ResourceNotFoundException("String_Node_Str" + element + "String_Node_Str"+ modelKey+ "String_Node_Str","String_Node_Str");
  }
  model=this.models.get(key);
  return model;
}
Program: 25124
Project: 25124
Buggy source:
public void load(){
}

Fixed version (ground truth):
public void load(){
  for (int i=Config.CALENDAR_DAY_START; i <= Config.CALENDAR_DAY_END; i++) {
    cbBeginH.addItem(i);
    cbEndH.addItem(i);
  }
  for (int i=0; i < 60; i+=Config.CALENDAR_DAY_INTERVAL) {
    cbBeginM.addItem(i);
    cbEndM.addItem(i);
  }
}
Program: 25126
Project: 25126
Buggy source:
@Override public void update(Observable o,Object arg){
  if (o instanceof Resizer) {
    this.dimension=(Dimension)arg;
    setBounds(200,20,(int)dimension.getWidth() - 200,(int)dimension.getHeight() - 70 - 20);
    System.out.println((int)dimension.getHeight() - 54 - 20);
    repaint();
  }
}

Fixed version (ground truth):
@Override public void update(Observable o,Object arg){
  if (o instanceof Resizer) {
    this.dimension=(Dimension)arg;
    setBounds(200,20,(int)dimension.getWidth() - 200,(int)dimension.getHeight() - 70 - 20);
    repaint();
  }
}
Program: 25127
Project: 25127
Buggy source:
public void eventSizing(){
  Dimension btnDimension;
  for (  EventButton eventButton : eventButtons) {
    int x, y;
    x=(int)((eventButton.getDuration() * dimension.getWidth()) / ((Config.CALENDAR_DAY_END - Config.CALENDAR_DAY_START) * 60));
    y=(int)dimension.getHeight();
    btnDimension=new Dimension(x,y);
    eventButton.setSize(btnDimension);
    eventButton.setPreferredSize(btnDimension);
  }
}

Fixed version (ground truth):
public void eventSizing(){
  Dimension btnDimension;
  for (  EventButton eventButton : eventButtons) {
    int x, y;
    x=(int)((eventButton.getDuration() * dimension.getWidth()) / ((Config.CALENDAR_DAY_END - Config.CALENDAR_DAY_START) * 60));
    y=(int)dimension.getHeight();
    btnDimension=new Dimension(x,y);
    System.out.println("String_Node_Str" + eventButton.getTitle() + "String_Node_Str"+ btnDimension);
    eventButton.setSize(btnDimension);
    eventButton.setPreferredSize(btnDimension);
    eventButton.setMinimumSize(btnDimension);
    eventButton.setMaximumSize(btnDimension);
  }
}
Program: 25128
Project: 25128
Buggy source:
public Form(ArrayList<Element> elements,ClientDialog main){
  System.out.println(elements.size());
  load(elements,main);
}

Fixed version (ground truth):
public Form(ArrayList<Element> elements,ClientDialog main){
  load(elements,main);
}
Program: 25129
Project: 25129
Buggy source:
public ActionBar(){
  this.setLayout(new FlowLayout());
  btnSave=new JButton(Config.RESSOURCE_BUNDLE.getString("String_Node_Str"));
  btnSave.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent arg0){
      if (performAction) {
        save();
      }
    }
  }
);
  btnDelete=new JButton(Config.RESSOURCE_BUNDLE.getString("String_Node_Str"));
  btnDelete.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent arg0){
      if (performAction) {
        delete();
      }
    }
  }
);
  add(btnSave);
  add(btnDelete);
}

Fixed version (ground truth):
public ActionBar(){
  setLayout(new FlowLayout());
  btnSave=new JButton(Config.RESSOURCE_BUNDLE.getString("String_Node_Str"));
  btnSave.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent arg0){
      if (performAction) {
        save();
      }
    }
  }
);
  btnDelete=new JButton(Config.RESSOURCE_BUNDLE.getString("String_Node_Str"));
  btnDelete.addActionListener(new ActionListener(){
    @Override public void actionPerformed(    ActionEvent arg0){
      if (performAction) {
        delete();
      }
    }
  }
);
  add(btnSave);
  add(btnDelete);
}
Program: 25130
Project: 25130
Buggy source:
public Component getTableCellRendererComponent(JTable table,Object value,boolean isSelected,boolean hasFocus,int row,int column){
  System.out.println(row);
  return this;
}

Fixed version (ground truth):
public Component getTableCellRendererComponent(JTable table,Object value,boolean isSelected,boolean hasFocus,int row,int column){
  return this;
}