nus-yam/ex-repair huggingface dataset:
Program: 179077
Project: 179077
Buggy source:
public String readReport(Boolean isAdmin){
  if (this.status == ReportStatus.UNREAD && isAdmin) {
    this.status=ReportStatus.READ;
    plugin.reports.saveTicket(this);
  }
  String message="String_Node_Str";
  message+=ChatColor.GRAY + "String_Node_Str" + this.status.toString()+ "String_Node_Str"+ this.idNumber.toString()+ "String_Node_Str";
  message+=ChatColor.GRAY + this.sender.getName() + "String_Node_Str"+ this.accused.getName()+ "String_Node_Str";
  message+=ChatColor.GRAY + "String_Node_Str" + this.reason;
  if (!this.addedInfo.isEmpty() && !this.addedInfo.get(0).isEmpty()) {
    message+="String_Node_Str" + ChatColor.GRAY + "String_Node_Str";
    for (    String info : addedInfo) {
      message+="String_Node_Str" + ChatColor.GRAY + "String_Node_Str"+ info;
    }
  }
  if (this.status == ReportStatus.CLOSED || this.status == ReportStatus.LOCKED) {
    message+="String_Node_Str" + ChatColor.GRAY + "String_Node_Str"+ this.finalRemark;
  }
  return message;
}

Fixed version (ground truth):
public String readReport(Boolean isAdmin,Boolean isAnon){
  if (this.status == ReportStatus.UNREAD && isAdmin) {
    this.status=ReportStatus.READ;
    plugin.reports.saveTicket(this);
  }
  String message="String_Node_Str";
  message+=ChatColor.GRAY + "String_Node_Str" + this.status.toString()+ "String_Node_Str"+ this.idNumber.toString()+ "String_Node_Str";
  if (isAnon) {
    message+=ChatColor.GRAY + "String_Node_Str" + this.accused.getName()+ "String_Node_Str";
  }
 else {
    message+=ChatColor.GRAY + this.sender.getName() + "String_Node_Str"+ this.accused.getName()+ "String_Node_Str";
  }
  message+=ChatColor.GRAY + "String_Node_Str" + this.reason;
  if (!this.addedInfo.isEmpty() && !this.addedInfo.get(0).isEmpty()) {
    message+="String_Node_Str" + ChatColor.GRAY + "String_Node_Str";
    for (    String info : addedInfo) {
      message+="String_Node_Str" + ChatColor.GRAY + "String_Node_Str"+ info;
    }
  }
  if (this.status == ReportStatus.CLOSED || this.status == ReportStatus.LOCKED) {
    message+="String_Node_Str" + ChatColor.GRAY + "String_Node_Str"+ this.finalRemark;
  }
  return message;
}
Program: 179081
Project: 179081
Buggy source:
public BankManagerNPC(BenCmd instance,int id,Location l){
  super(instance,"String_Node_Str",id,l);
}

Fixed version (ground truth):
public BankManagerNPC(BenCmd instance,int id,Location l){
  super(instance,"String_Node_Str",id,l,new ItemStack(Material.BOOK));
}
Program: 179082
Project: 179082
Buggy source:
public BankerNPC(BenCmd instance,int id,Location l){
  super(instance,"String_Node_Str",id,l);
}

Fixed version (ground truth):
public BankerNPC(BenCmd instance,int id,Location l){
  super(instance,"String_Node_Str",id,l,new ItemStack(Material.PAPER));
}
Program: 179083
Project: 179083
Buggy source:
public BlacksmithNPC(BenCmd instance,int id,Location l,HashMap<ToolMaterial,HashMap<ToolType,Double>> tools,HashMap<ArmorMaterial,HashMap<ArmorType,Double>> armor){
  super(instance,"String_Node_Str",id,l);
  if (tools == null) {
    toolPrices=new HashMap<ToolMaterial,HashMap<ToolType,Double>>();
  }
 else {
    toolPrices=tools;
  }
  if (armor == null) {
    armorPrices=new HashMap<ArmorMaterial,HashMap<ArmorType,Double>>();
  }
  if (plugin.spoutcraft) {
    SpoutManager.getAppearanceManager().setGlobalSkin(new CraftHumanEntity((CraftServer)Bukkit.getServer(),super.enpc),"String_Node_Str");
  }
}

Fixed version (ground truth):
public BlacksmithNPC(BenCmd instance,int id,Location l,HashMap<ToolMaterial,HashMap<ToolType,Double>> tools,HashMap<ArmorMaterial,HashMap<ArmorType,Double>> armor){
  super(instance,"String_Node_Str",id,l,new ItemStack(Material.IRON_AXE));
  if (tools == null) {
    toolPrices=new HashMap<ToolMaterial,HashMap<ToolType,Double>>();
  }
 else {
    toolPrices=tools;
  }
  if (armor == null) {
    armorPrices=new HashMap<ArmorMaterial,HashMap<ArmorType,Double>>();
  }
}
Program: 179084
Project: 179084
Buggy source:
public NPC(BenCmd instance,String name,int id,Location l){
  plugin=instance;
  this.id=id;
  this.l=l;
  this.n=name;
  if (l.getWorld().isChunkLoaded(l.getBlock().getChunk())) {
    spawn();
  }
}

Fixed version (ground truth):
public NPC(BenCmd instance,String name,int id,Location l,ItemStack itemHeld){
  plugin=instance;
  this.id=id;
  this.l=l;
  this.n=name;
  this.itemHeld=itemHeld;
  if (l.getWorld().isChunkLoaded(l.getBlock().getChunk())) {
    spawn();
  }
}
Program: 179085
Project: 179085
Buggy source:
public void setName(String name){
  despawn();
  n=name;
  spawn();
  despawn();
  spawn();
  plugin.npcs.saveNPC(this);
}

Fixed version (ground truth):
public void setName(String name){
  despawn();
  n=name;
  spawn();
  plugin.npcs.saveNPC(this);
}
Program: 179086
Project: 179086
Buggy source:
public void spawn(){
  if (enpc == null) {
    WorldServer ws=((CraftWorld)l.getWorld()).getHandle();
    MinecraftServer ms=((CraftServer)ws.getServer()).getServer();
    enpc=new EntityNPC(ms,ws,n,new ItemInWorldManager(ws));
    enpc.setLocation(l.getX(),l.getY(),l.getZ(),l.getYaw(),l.getPitch());
    ws.addEntity(enpc);
    ws.players.remove(enpc);
    if (plugin.spoutcraft) {
      for (      Player p : plugin.getServer().getOnlinePlayers()) {
        SpoutPlayer player=((SpoutPlayer)p);
        if (player.getVersion() > 4) {
          player.sendPacket(new PacketSkinURL(enpc.id,getSkinURL()));
        }
      }
    }
  }
}

Fixed version (ground truth):
public void spawn(){
  if (enpc == null) {
    WorldServer ws=((CraftWorld)l.getWorld()).getHandle();
    MinecraftServer ms=((CraftServer)ws.getServer()).getServer();
    enpc=new EntityNPC(ms,ws,n,new ItemInWorldManager(ws));
    enpc.setLocation(l.getX(),l.getY(),l.getZ(),l.getYaw(),l.getPitch());
    if (itemHeld.getTypeId() != 0) {
      enpc.inventory.setItem(0,new net.minecraft.server.ItemStack(itemHeld.getTypeId(),itemHeld.getAmount(),itemHeld.getDurability()));
      enpc.inventory.itemInHandIndex=0;
    }
    ws.addEntity(enpc);
    ws.players.remove(enpc);
    if (plugin.spoutcraft) {
      for (      Player p : plugin.getServer().getOnlinePlayers()) {
        plugin.spoutconnect.sendSkin(p,enpc.id,getSkinURL());
      }
    }
  }
}
Program: 179087
Project: 179087
Buggy source:
public void despawn(){
  if (enpc != null) {
    WorldServer ws=((CraftWorld)l.getWorld()).getHandle();
    enpc.die();
    ws.removeEntity(enpc);
    enpc=null;
  }
}

Fixed version (ground truth):
public void despawn(){
  if (enpc != null) {
    if (plugin.spoutcraft) {
      for (      Player p : plugin.getServer().getOnlinePlayers()) {
        plugin.spoutconnect.sendSkin(p,enpc.id,"String_Node_Str" + enpc.name + "String_Node_Str");
      }
    }
    WorldServer ws=((CraftWorld)l.getWorld()).getHandle();
    enpc.die();
    ws.removeEntity(enpc);
    enpc=null;
  }
}
Program: 179088
Project: 179088
Buggy source:
public void onBlockBreak(BlockBreakEvent event){
  if (player.getItemInHand().getType() == Material.WOOD_SPADE && User.getUser(plugin,player).hasPerm("String_Node_Str")) {
    event.setCancelled(true);
  }
  Player player=event.getPlayer();
  if (!plugin.lots.canBuildHere(player,event.getBlock().getLocation())) {
    event.setCancelled(true);
    player.sendMessage("String_Node_Str");
  }
}

Fixed version (ground truth):
public void onBlockBreak(BlockBreakEvent event){
  Player player=event.getPlayer();
  User user=User.getUser(plugin,player);
  if (player.getItemInHand().getType() == Material.WOOD_SPADE && user.hasPerm("String_Node_Str")) {
    event.setCancelled(true);
  }
  if (!plugin.lots.canBuildHere(player,event.getBlock().getLocation())) {
    event.setCancelled(true);
    player.sendMessage("String_Node_Str");
  }
}
Program: 179090
Project: 179090
Buggy source:
public void Spawn(String world){
  if (isConsole) {
    return;
  }
  try {
    plugin.getServer().getWorld(world);
  }
 catch (  NullPointerException e) {
    Spawn();
    return;
  }
  Location spawn=plugin.getServer().getWorld(world).getSpawnLocation();
  new Warp(spawn.getX(),spawn.getY(),spawn.getZ(),spawn.getYaw(),spawn.getPitch(),spawn.getWorld().getName(),"String_Node_Str","String_Node_Str",plugin).WarpHere(this);
}

Fixed version (ground truth):
public void Spawn(String world){
  if (isConsole) {
    return;
  }
  Location spawn;
  try {
    spawn=plugin.getServer().getWorld(world).getSpawnLocation();
  }
 catch (  NullPointerException e) {
    Spawn();
    return;
  }
  new Warp(spawn.getX(),spawn.getY(),spawn.getZ(),spawn.getYaw(),spawn.getPitch(),spawn.getWorld().getName(),"String_Node_Str","String_Node_Str",plugin).WarpHere(this);
}
Program: 179091
Project: 179091
Buggy source:
public void onPlayerQuit(PlayerQuitEvent event){
  for (int i=0; i < plugin.graves.size(); i++) {
    Grave g=plugin.graves.get(i);
    if (g.getPlayer().equals(event.getPlayer())) {
      g.delete();
      plugin.graves.remove(i);
    }
  }
  if (plugin.returns.containsKey(event.getPlayer())) {
    plugin.returns.remove(event.getPlayer());
  }
  User user=User.getUser(plugin,event.getPlayer());
  if (user.isOffline()) {
    user.goOnlineNoMsg();
    event.setQuitMessage("String_Node_Str");
  }
 else {
    event.setQuitMessage(user.getColor() + user.getDisplayName() + ChatColor.WHITE+ "String_Node_Str");
  }
  plugin.maxPlayers.leave(user);
  if (user.isPoofed()) {
    user.UnPoof();
  }
  if (user.isNoPoofed()) {
    user.UnNoPoof();
  }
  if (user.inChannel()) {
    user.leaveChannel();
  }
  user.unspyAll();
  User.finalizeUser(user);
}

Fixed version (ground truth):
public void onPlayerQuit(PlayerQuitEvent event){
  for (int i=0; i < plugin.graves.size(); i++) {
    Grave g=plugin.graves.get(i);
    if (g.getPlayer().equals(event.getPlayer())) {
      g.delete();
      plugin.graves.remove(i);
    }
  }
  if (plugin.returns.containsKey(event.getPlayer())) {
    plugin.returns.remove(event.getPlayer());
  }
  User user=User.getUser(plugin,event.getPlayer());
  if (user.isOffline()) {
    user.goOnlineNoMsg();
    event.setQuitMessage("String_Node_Str");
  }
 else {
    event.setQuitMessage(user.getColor() + user.getDisplayName() + ChatColor.WHITE+ "String_Node_Str");
  }
  plugin.maxPlayers.leave(user);
  if (user.isPoofed()) {
    user.UnPoof();
  }
  if (user.isNoPoofed()) {
    user.UnNoPoof();
  }
  if (user.isAllPoofed()) {
    user.UnAllPoof();
  }
  if (user.inChannel()) {
    user.leaveChannel();
  }
  user.unspyAll();
  User.finalizeUser(user);
}
Program: 179092
Project: 179092
Buggy source:
public void remAInv(Player player){
  plugin.invisible.remove(player);
  for (  Player appearTo : plugin.noinvisible) {
    if (player != appearTo) {
      uninvisible(player,appearTo);
    }
  }
}

Fixed version (ground truth):
public void remAInv(Player player){
  plugin.allinvisible.remove(player);
  for (  Player appearTo : plugin.noinvisible) {
    if (player != appearTo) {
      uninvisible(player,appearTo);
    }
  }
}
Program: 179094
Project: 179094
Buggy source:
public void addOffence(Player player){
  if (User.getUser(plugin,player).hasPerm("String_Node_Str",false)) {
    return;
  }
  if (offenders.containsKey(player.getName())) {
    offenders.put(player.getName(),getOffences(player) + 1);
  }
 else {
    offenders.put(player.getName(),1);
  }
}

Fixed version (ground truth):
public void addOffence(Player player){
  if (User.getUser(plugin,player).isJailed() != null) {
    return;
  }
  if (offenders.containsKey(player.getName())) {
    offenders.put(player.getName(),getOffences(player) + 1);
  }
 else {
    offenders.put(player.getName(),1);
  }
}
Program: 179095
Project: 179095
Buggy source:
public int getOffences(Player player){
  if (User.getUser(plugin,player).isJailed() == null) {
    return 3;
  }
  if (offenders.containsKey(player.getName())) {
    return offenders.get(player.getName());
  }
 else {
    return 0;
  }
}

Fixed version (ground truth):
public int getOffences(Player player){
  if (User.getUser(plugin,player).isJailed() != null) {
    return 3;
  }
  if (offenders.containsKey(player.getName())) {
    return offenders.get(player.getName());
  }
 else {
    return 0;
  }
}
Program: 179097
Project: 179097
Buggy source:
public boolean hasPerm(String perm,boolean testStar,boolean testGroup){
  if (isServer()) {
    return testStar;
  }
  boolean isStarred=false;
  boolean isJailed=false;
  boolean isDenied=false;
  boolean isAllowed=false;
  List<String> perms=new ArrayList<String>(permissions);
  if (testGroup) {
    for (    PermissionGroup group : plugin.perm.groupFile.getAllUserGroups(this)) {
      perms.addAll(group.getInternal().getPermissions(true));
    }
  }
  for (  String perm2 : perms) {
    if (perm2.equals("String_Node_Str") && testStar) {
      isStarred=true;
    }
    if (perm2.equalsIgnoreCase("String_Node_Str" + perm)) {
      isDenied=true;
    }
    if (perm2.equalsIgnoreCase("String_Node_Str")) {
      isJailed=true;
    }
    if (perm.equalsIgnoreCase(perm2)) {
      isAllowed=true;
    }
  }
  if ((isDenied || isJailed) && testGroup) {
    return false;
  }
 else   if (isStarred) {
    return true;
  }
 else {
    return isAllowed;
  }
}

Fixed version (ground truth):
public boolean hasPerm(String perm,boolean testStar,boolean testGroup){
  if (isServer()) {
    return testStar;
  }
  boolean isStarred=false;
  boolean isJailed=false;
  boolean isDenied=false;
  boolean isAllowed=false;
  List<String> perms=new ArrayList<String>(permissions);
  if (testGroup) {
    for (    PermissionGroup group : plugin.perm.groupFile.getAllUserGroups(this)) {
      perms.addAll(group.getInternal().getPermissions(true));
    }
  }
  for (  String perm2 : perms) {
    if (perm2.equals("String_Node_Str")) {
      isStarred=true;
    }
    if (perm2.equalsIgnoreCase("String_Node_Str" + perm)) {
      isDenied=true;
    }
    if (perm2.equalsIgnoreCase("String_Node_Str")) {
      isJailed=true;
    }
    if (perm.equalsIgnoreCase(perm2)) {
      isAllowed=true;
    }
  }
  if ((isDenied || isJailed) && testStar) {
    return false;
  }
 else   if (isStarred && testStar) {
    return true;
  }
 else {
    return isAllowed;
  }
}
Program: 179098
Project: 179098
Buggy source:
public void Unjail(String[] args,User user){
  if (args.length == 1) {
    User user2;
    if ((user2=User.matchUser(args[0],plugin)) == null) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return;
    }
    user2.toggleJail();
    plugin.getServer().broadcastMessage(ChatColor.RED + user2.getName() + "String_Node_Str");
  }
 else {
    user.sendMessage(ChatColor.YELLOW + "String_Node_Str");
  }
}

Fixed version (ground truth):
public void Unjail(String[] args,User user){
  if (args.length == 1) {
    User user2;
    if ((user2=User.matchUser(args[0],plugin)) == null) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return;
    }
    if (!user2.hasPerm("String_Node_Str",false,true)) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return;
    }
    user2.toggleJail();
    plugin.getServer().broadcastMessage(ChatColor.RED + user2.getName() + "String_Node_Str");
  }
 else {
    user.sendMessage(ChatColor.YELLOW + "String_Node_Str");
  }
}
Program: 179099
Project: 179099
Buggy source:
public void Jail(String[] args,User user){
  if (args.length == 1) {
    User user2;
    if ((user2=User.matchUser(args[0],plugin)) == null) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return;
    }
    if (user.getName() == user2.getName()) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return;
    }
    user2.toggleJail();
    plugin.getServer().broadcastMessage(ChatColor.RED + user2.getName() + "String_Node_Str");
  }
 else {
    user.sendMessage(ChatColor.YELLOW + "String_Node_Str");
  }
}

Fixed version (ground truth):
public void Jail(String[] args,User user){
  if (args.length == 1) {
    User user2;
    if ((user2=User.matchUser(args[0],plugin)) == null) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return;
    }
    if (user.getName() == user2.getName()) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return;
    }
    if (user2.hasPerm("String_Node_Str",false,true)) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return;
    }
    user2.toggleJail();
    plugin.getServer().broadcastMessage(ChatColor.RED + user2.getName() + "String_Node_Str");
  }
 else {
    user.sendMessage(ChatColor.YELLOW + "String_Node_Str");
  }
}
Program: 179101
Project: 179101
Buggy source:
public void actionOnce(Player player,FlyResponse action){
switch (action) {
case PULLDOWN:
    Location l=player.getLocation();
  l.setY(player.getWorld().getHighestBlockYAt(l));
player.teleport(l);
plugin.log.info(player.getName() + "String_Node_Str");
lastL.put(player,player.getLocation());
break;
case RESPAWN:
User.getUser(plugin,player).Spawn();
plugin.checkpoints.RemovePreWarp(player);
player.sendMessage(ChatColor.RED + "String_Node_Str");
plugin.log.info(player.getName() + "String_Node_Str");
lastL.put(player,player.getLocation());
break;
case KICK:
User.getUser(plugin,player).Kick("String_Node_Str");
plugin.log.info(player.getName() + "String_Node_Str");
break;
case JAIL:
User user=User.getUser(plugin,player);
if (user.isJailed() != null) {
plugin.log.warning("String_Node_Str" + user.getName() + "String_Node_Str");
}
 else {
plugin.actions.addAction(user,ActionType.JAIL,3600000L);
plugin.jail.SendToJail(player);
player.sendMessage(ChatColor.RED + "String_Node_Str");
lastL.put(player,player.getLocation());
plugin.log.info(player.getName() + "String_Node_Str");
}
break;
case BAN:
User u=User.getUser(plugin,player);
plugin.actions.addAction(u,ActionType.BAN,3600000L);
u.Kick("String_Node_Str");
plugin.log.info(player.getName() + "String_Node_Str");
break;
case WARN:
player.sendMessage(ChatColor.RED + "String_Node_Str");
plugin.log.info(player.getName() + "String_Node_Str");
break;
}
}

Fixed version (ground truth):
public void actionOnce(Player player,FlyResponse action){
switch (action) {
case PULLDOWN:
    Location l=player.getLocation();
  while (l.getBlock().getType() == Material.AIR) {
    if (l.getY() <= 0) {
      l.setY(l.getWorld().getHighestBlockYAt(l) - 1);
    }
 else {
      l.setY(l.getY() - 1);
    }
  }
l.setY(l.getY() + 1);
player.teleport(l);
plugin.log.info(player.getName() + "String_Node_Str");
break;
case RESPAWN:
User.getUser(plugin,player).Spawn();
plugin.checkpoints.RemovePreWarp(player);
player.sendMessage(ChatColor.RED + "String_Node_Str");
plugin.log.info(player.getName() + "String_Node_Str");
lastL.put(player,player.getLocation());
break;
case KICK:
User.getUser(plugin,player).Kick("String_Node_Str");
plugin.log.info(player.getName() + "String_Node_Str");
break;
case JAIL:
User user=User.getUser(plugin,player);
if (user.isJailed() != null) {
plugin.log.warning("String_Node_Str" + user.getName() + "String_Node_Str");
}
 else {
plugin.actions.addAction(user,ActionType.JAIL,3600000L);
plugin.jail.SendToJail(player);
player.sendMessage(ChatColor.RED + "String_Node_Str");
lastL.put(player,player.getLocation());
plugin.log.info(player.getName() + "String_Node_Str");
}
break;
case BAN:
User u=User.getUser(plugin,player);
plugin.actions.addAction(u,ActionType.BAN,3600000L);
u.Kick("String_Node_Str");
plugin.log.info(player.getName() + "String_Node_Str");
break;
case WARN:
player.sendMessage(ChatColor.RED + "String_Node_Str");
plugin.log.info(player.getName() + "String_Node_Str");
break;
}
}
Program: 179103
Project: 179103
Buggy source:
public DropInfo(int chance,int minAmt,int maxAmt){
  if (c == 0) {
    c=1;
  }
  c=chance;
  if (min > max) {
    int m=min;
    min=max;
    max=m;
  }
  min=minAmt;
  max=maxAmt;
}

Fixed version (ground truth):
public DropInfo(int chance,int minAmt,int maxAmt){
  if (c == 0) {
    c=1;
  }
  c=chance;
  min=minAmt;
  max=maxAmt;
  if (min > max) {
    int m=min;
    min=max;
    max=m;
  }
}
Program: 179104
Project: 179104
Buggy source:
public String getValue(){
  String internal=super.getInternalValue();
  return "String_Node_Str" + internal.substring(0,internal.length() - 1);
}

Fixed version (ground truth):
public String getValue(){
  return "String_Node_Str" + super.getInternalValue();
}
Program: 179105
Project: 179105
Buggy source:
public HealArea(BenCmd instance,Integer id,Location corner1,Location corner2){
  super(instance,id,corner1,corner2);
  t=new Timer();
  t.schedule(new TimerTask(){
    public void run(){
      heal();
    }
  }
,0,1000);
}

Fixed version (ground truth):
public HealArea(BenCmd instance,Integer id,Location corner1,Location corner2,Integer minimumTime){
  super(instance,id,corner1,corner2,minimumTime);
}
Program: 179106
Project: 179106
Buggy source:
public void loadAreas(){
  areas.clear();
  for (int i=0; i < this.size(); i++) {
    String key=(String)this.keySet().toArray()[i];
    String value=(String)this.values().toArray()[i];
    int id;
    try {
      id=Integer.parseInt(key);
    }
 catch (    NumberFormatException e) {
      plugin.log.warning("String_Node_Str" + key + "String_Node_Str");
      continue;
    }
    String type=value.split("String_Node_Str")[0];
    try {
      if (type.equals("String_Node_Str")) {
        areas.put(id,new PVPArea(plugin,key,value));
      }
 else       if (type.equals("String_Node_Str")) {
        areas.put(id,new MsgArea(plugin,key,value));
      }
 else       if (type.equals("String_Node_Str")) {
        areas.put(id,new HealArea(plugin,key,value));
      }
 else {
        plugin.log.warning("String_Node_Str" + key + "String_Node_Str");
        continue;
      }
    }
 catch (    Exception e) {
      plugin.log.warning("String_Node_Str" + key + "String_Node_Str");
      continue;
    }
  }
}

Fixed version (ground truth):
public void loadAreas(){
  areas.clear();
  for (int i=0; i < this.size(); i++) {
    String key=(String)this.keySet().toArray()[i];
    String value=(String)this.values().toArray()[i];
    int id;
    try {
      id=Integer.parseInt(key);
    }
 catch (    NumberFormatException e) {
      plugin.log.warning("String_Node_Str" + key + "String_Node_Str");
      continue;
    }
    String type=value.split("String_Node_Str")[0];
    try {
      if (type.equals("String_Node_Str")) {
        areas.put(id,new PVPArea(plugin,key,value));
      }
 else       if (type.equals("String_Node_Str")) {
        areas.put(id,new MsgArea(plugin,key,value));
      }
 else       if (type.equals("String_Node_Str")) {
        areas.put(id,new HealArea(plugin,key,value));
      }
 else       if (type.equals("String_Node_Str")) {
        areas.put(id,new DamageArea(plugin,key,value));
      }
 else       if (type.equals("String_Node_Str")) {
        areas.put(id,new TRArea(plugin,key,value));
      }
 else {
        plugin.log.warning("String_Node_Str" + key + "String_Node_Str");
        continue;
      }
    }
 catch (    Exception e) {
      plugin.log.warning("String_Node_Str" + key + "String_Node_Str");
      continue;
    }
  }
}
Program: 179107
Project: 179107
Buggy source:
public void onPlayerKick(PlayerKickEvent event){
  User user=User.getUser(plugin,event.getPlayer());
  if (user.isOffline()) {
    user.goOnlineNoMsg();
    event.setLeaveMessage("String_Node_Str");
  }
 else {
    event.setLeaveMessage(user.getColor() + user.getName() + ChatColor.WHITE+ "String_Node_Str");
  }
  plugin.maxPlayers.leave(user);
  if (user.isPoofed()) {
    user.UnPoof();
  }
  if (user.isNoPoofed()) {
    user.UnNoPoof();
  }
  User.finalizeUser(user);
}

Fixed version (ground truth):
public void onPlayerKick(PlayerKickEvent event){
  User user=User.getUser(plugin,event.getPlayer());
  if (user.isOffline()) {
    user.goOnlineNoMsg();
    event.setLeaveMessage("String_Node_Str");
  }
 else {
    event.setLeaveMessage(user.getColor() + user.getName() + ChatColor.WHITE+ "String_Node_Str");
  }
  plugin.maxPlayers.leave(user);
  if (user.isPoofed()) {
    user.UnPoof();
  }
  if (user.isNoPoofed()) {
    user.UnNoPoof();
  }
  if (user.inChannel()) {
    user.leaveChannel();
  }
  user.unspyAll();
  User.finalizeUser(user);
}
Program: 179108
Project: 179108
Buggy source:
public void onPlayerQuit(PlayerQuitEvent event){
  User user=User.getUser(plugin,event.getPlayer());
  if (user.isOffline()) {
    user.goOnlineNoMsg();
    event.setQuitMessage("String_Node_Str");
  }
 else {
    event.setQuitMessage(user.getColor() + user.getName() + ChatColor.WHITE+ "String_Node_Str");
  }
  plugin.maxPlayers.leave(user);
  if (user.isPoofed()) {
    user.UnPoof();
  }
  if (user.isNoPoofed()) {
    user.UnNoPoof();
  }
  User.finalizeUser(user);
}

Fixed version (ground truth):
public void onPlayerQuit(PlayerQuitEvent event){
  User user=User.getUser(plugin,event.getPlayer());
  if (user.isOffline()) {
    user.goOnlineNoMsg();
    event.setQuitMessage("String_Node_Str");
  }
 else {
    event.setQuitMessage(user.getColor() + user.getName() + ChatColor.WHITE+ "String_Node_Str");
  }
  plugin.maxPlayers.leave(user);
  if (user.isPoofed()) {
    user.UnPoof();
  }
  if (user.isNoPoofed()) {
    user.UnNoPoof();
  }
  if (user.inChannel()) {
    user.leaveChannel();
  }
  user.unspyAll();
  User.finalizeUser(user);
}
Program: 179109
Project: 179109
Buggy source:
public Portal getPortalAt(Location loc){
  loc=Portal.getHandleBlock(loc);
  for (int i=0; i < portals.size(); i++) {
    Location key=(Location)portals.keySet().toArray()[i];
    if (key.getBlockX() == loc.getBlockX() && key.getBlockY() == loc.getBlockY() && key.getBlockY() == loc.getBlockY()) {
      return portals.get(key);
    }
  }
  return null;
}

Fixed version (ground truth):
public Portal getPortalAt(Location loc){
  loc=Portal.getHandleBlock(loc);
  for (int i=0; i < portals.size(); i++) {
    Location key=(Location)portals.keySet().toArray()[i];
    if (key.getBlockX() == loc.getBlockX() && key.getBlockY() == loc.getBlockY() && key.getBlockZ() == loc.getBlockZ() && key.getWorld().getName().equals(loc.getWorld().getName())) {
      return portals.get(key);
    }
  }
  return null;
}
Program: 179110
Project: 179110
Buggy source:
public void onPlayerPortal(PlayerPortalEvent event){
  Portal portal;
  Location loc=event.getPlayer().getLocation();
  loc.setX(loc.getX() * 8);
  loc.setZ(loc.getZ() * 8);
  if ((portal=plugin.portals.getPortalAt(loc)) == null) {
    event.getPlayer().sendMessage(ChatColor.RED + "String_Node_Str");
    event.setCancelled(true);
    return;
  }
  if (portal.getGroup() != null && !User.getUser(plugin,event.getPlayer()).inGroup(portal.getGroup())) {
    event.getPlayer().sendMessage(ChatColor.RED + "String_Node_Str");
    event.setCancelled(true);
    return;
  }
  event.useTravelAgent(false);
  event.setTo(portal.getWarp().loc);
}

Fixed version (ground truth):
public void onPlayerPortal(PlayerPortalEvent event){
  Portal portal;
  Location loc=event.getPlayer().getLocation();
  loc.setX(loc.getX() * 8);
  loc.setZ(loc.getZ() * 8);
  if ((portal=plugin.portals.getPortalAt(loc)) == null) {
    event.getPlayer().sendMessage(ChatColor.RED + "String_Node_Str");
    event.setCancelled(true);
    return;
  }
  if (portal.getGroup() != null && !User.getUser(plugin,event.getPlayer()).inGroup(portal.getGroup())) {
    event.getPlayer().sendMessage(ChatColor.RED + "String_Node_Str");
    event.setCancelled(true);
    return;
  }
  event.useTravelAgent(false);
  event.setTo(portal.getWarp().loc);
  plugin.checkpoints.SetPreWarp(event.getPlayer());
}
Program: 179111
Project: 179111
Buggy source:
public void Help(String[] args,User user){
  int pageToShow;
  if (args.length == 0) {
    pageToShow=1;
  }
 else {
    if (args[0].equalsIgnoreCase("String_Node_Str")) {
      user.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.WHITE+ "String_Node_Str"+ ChatColor.GRAY+ "String_Node_Str");
      return;
    }
    try {
      pageToShow=Integer.parseInt(args[0]);
    }
 catch (    NumberFormatException e) {
      user.sendMessage(ChatColor.RED + args[0] + "String_Node_Str");
      return;
    }
  }
  List<BCommand> commands=getCommands(user);
  int max;
  if (pageToShow > (max=(int)Math.ceil(commands.size() / 6) + 1)) {
    user.sendMessage(ChatColor.RED + "String_Node_Str" + max+ "String_Node_Str");
    return;
  }
 else   if (pageToShow <= 0) {
    user.sendMessage(ChatColor.RED + "String_Node_Str");
    return;
  }
  int i=(pageToShow - 1) * 6;
  user.sendMessage(ChatColor.YELLOW + "String_Node_Str" + ChatColor.GREEN+ pageToShow+ ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ max+ ChatColor.YELLOW+ "String_Node_Str");
  while (i < (pageToShow - 1) * 6 + 6) {
    if (i >= commands.size()) {
      break;
    }
    user.sendMessage(ChatColor.GREEN + commands.get(i).getName() + ChatColor.WHITE+ "String_Node_Str"+ ChatColor.GRAY+ commands.get(i).getDescription());
    i++;
  }
}

Fixed version (ground truth):
public void Help(String[] args,User user){
  int pageToShow;
  if (args.length == 0) {
    pageToShow=1;
  }
 else {
    if (args[0].equalsIgnoreCase("String_Node_Str")) {
      user.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.WHITE+ "String_Node_Str"+ ChatColor.GRAY+ "String_Node_Str");
      return;
    }
    try {
      pageToShow=Integer.parseInt(args[0]);
    }
 catch (    NumberFormatException e) {
      user.sendMessage(ChatColor.RED + args[0] + "String_Node_Str");
      return;
    }
  }
  List<BCommand> commands=getCommands(user);
  int max;
  if (pageToShow > (max=(int)Math.ceil((commands.size() - 1) / 6) + 1)) {
    user.sendMessage(ChatColor.RED + "String_Node_Str" + max+ "String_Node_Str");
    return;
  }
 else   if (pageToShow <= 0) {
    user.sendMessage(ChatColor.RED + "String_Node_Str");
    return;
  }
  int i=(pageToShow - 1) * 6;
  user.sendMessage(ChatColor.YELLOW + "String_Node_Str" + ChatColor.GREEN+ pageToShow+ ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ max+ ChatColor.YELLOW+ "String_Node_Str");
  while (i < (pageToShow - 1) * 6 + 6) {
    if (i >= commands.size()) {
      break;
    }
    user.sendMessage(ChatColor.GREEN + commands.get(i).getName() + ChatColor.WHITE+ "String_Node_Str"+ ChatColor.GRAY+ commands.get(i).getDescription());
    i++;
  }
}
Program: 179114
Project: 179114
Buggy source:
public void onPlayerLogin(PlayerLoginEvent event){
  if (!plugin.perm.userFile.userExists(event.getPlayer().getName())) {
    plugin.perm.userFile.addUser(event.getPlayer().getName());
  }
  if ((new ActionableUser(plugin,event.getPlayer())).hasPerm("String_Node_Str",false)) {
    event.disallow(Result.KICK_BANNED,"String_Node_Str");
    return;
  }
  long timeLeft;
  if ((timeLeft=plugin.kicked.isBlocked(event.getPlayer().getName())) > 0) {
    event.disallow(Result.KICK_OTHER,"String_Node_Str" + String.valueOf(Math.ceil(timeLeft / 60000.0)) + "String_Node_Str");
    return;
  }
switch (plugin.maxPlayers.join(new User(plugin,event.getPlayer()))) {
case NO_SLOT_NORMAL:
    event.disallow(Result.KICK_FULL,plugin.mainProperties.getString("String_Node_Str","String_Node_Str"));
  break;
case NO_SLOT_RESERVED:
event.disallow(Result.KICK_FULL,plugin.mainProperties.getString("String_Node_Str","String_Node_Str"));
break;
}
}

Fixed version (ground truth):
public void onPlayerLogin(PlayerLoginEvent event){
  if (!plugin.perm.userFile.userExists(event.getPlayer().getName())) {
    plugin.perm.userFile.addUser(event.getPlayer().getName());
  }
  if ((new ActionableUser(plugin,event.getPlayer())).hasPerm("String_Node_Str",false)) {
    event.disallow(Result.KICK_BANNED,"String_Node_Str");
    return;
  }
  long timeLeft;
  if ((timeLeft=plugin.kicked.isBlocked(event.getPlayer().getName())) > 0) {
    event.disallow(Result.KICK_OTHER,"String_Node_Str" + String.valueOf((int)Math.ceil(timeLeft / 60000.0)) + "String_Node_Str");
    return;
  }
switch (plugin.maxPlayers.join(new User(plugin,event.getPlayer()))) {
case NO_SLOT_NORMAL:
    event.disallow(Result.KICK_FULL,plugin.mainProperties.getString("String_Node_Str","String_Node_Str"));
  break;
case NO_SLOT_RESERVED:
event.disallow(Result.KICK_FULL,plugin.mainProperties.getString("String_Node_Str","String_Node_Str"));
break;
}
}
Program: 179117
Project: 179117
Buggy source:
public boolean Unspy(User user){
  if (isMod(user)) {
    if (!isSpying(user)) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return false;
    }
    for (int i=0; i < spies.size(); i++) {
      if (spies.get(i).getName().equalsIgnoreCase(user.getName())) {
        spies.remove(i);
      }
    }
    user.sendMessage(ChatColor.GRAY + "String_Node_Str" + name);
    return true;
  }
 else {
    user.sendMessage(ChatColor.RED + "String_Node_Str");
    return false;
  }
}

Fixed version (ground truth):
public boolean Unspy(User user){
  if (isMod(user) || isOwner(user)) {
    if (!isSpying(user)) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return false;
    }
    for (int i=0; i < spies.size(); i++) {
      if (spies.get(i).getName().equalsIgnoreCase(user.getName())) {
        spies.remove(i);
      }
    }
    user.sendMessage(ChatColor.GRAY + "String_Node_Str" + name);
    return true;
  }
 else {
    user.sendMessage(ChatColor.RED + "String_Node_Str");
    return false;
  }
}
Program: 179118
Project: 179118
Buggy source:
public boolean Kick(User user){
  if (isOwner(user)) {
    return false;
  }
  if (isMod(user)) {
    return false;
  }
  if (isOnline(user) != null) {
    leaveChannel(user);
    user.sendMessage(ChatColor.RED + "String_Node_Str");
    return true;
  }
 else {
    return false;
  }
}

Fixed version (ground truth):
public boolean Kick(User user){
  if (isOwner(user)) {
    return false;
  }
  if (isMod(user)) {
    return false;
  }
  if (isOnline(user) != null) {
    user.leaveChannel();
    user.sendMessage(ChatColor.RED + "String_Node_Str");
    return true;
  }
 else {
    return false;
  }
}
Program: 179119
Project: 179119
Buggy source:
public void sendChat(User user,String message){
  if (isMuted(user)) {
    user.sendMessage(ChatColor.GRAY + control.plugin.mainProperties.getString("String_Node_Str","String_Node_Str"));
  }
  boolean blocked=ChatChecker.checkBlocked(message,control.plugin);
  if (blocked) {
    user.sendMessage(ChatColor.GRAY + control.plugin.mainProperties.getString("String_Node_Str","String_Node_Str"));
    return;
  }
  long slowTimeLeft=slow.playerBlocked(user.getName());
  if (!(isMod(user) || isOwner(user)) && slow.isEnabled()) {
    if (slowTimeLeft > 0) {
      user.sendMessage(ChatColor.GRAY + "String_Node_Str" + (int)Math.ceil(slowTimeLeft / 1000)+ "String_Node_Str");
      return;
    }
 else {
      slow.playerAdd(user.getName());
    }
  }
  String username=user.getColor() + user.getName();
  if (isOwner(user)) {
    username=ChatColor.GOLD + "String_Node_Str" + username;
  }
 else   if (isMod(user)) {
    username=ChatColor.GRAY + "String_Node_Str" + username;
  }
  String prefix;
  if (user.getGroup() != null && !(prefix=user.getGroup().getPrefix()).isEmpty()) {
    message=user.getGroup().getPrefixColor() + "String_Node_Str" + prefix+ "String_Node_Str"+ username+ "String_Node_Str"+ ChatColor.WHITE+ message;
    this.broadcastMessage(message);
  }
 else {
    message=username + "String_Node_Str" + ChatColor.WHITE+ message;
    this.broadcastMessage(message);
  }
}

Fixed version (ground truth):
public void sendChat(User user,String message){
  if (isMuted(user)) {
    user.sendMessage(ChatColor.GRAY + control.plugin.mainProperties.getString("String_Node_Str","String_Node_Str"));
    return;
  }
  boolean blocked=ChatChecker.checkBlocked(message,control.plugin);
  if (blocked) {
    user.sendMessage(ChatColor.GRAY + control.plugin.mainProperties.getString("String_Node_Str","String_Node_Str"));
    return;
  }
  long slowTimeLeft=slow.playerBlocked(user.getName());
  if (!(isMod(user) || isOwner(user)) && slow.isEnabled()) {
    if (slowTimeLeft > 0) {
      user.sendMessage(ChatColor.GRAY + "String_Node_Str" + (int)Math.ceil(slowTimeLeft / 1000)+ "String_Node_Str");
      return;
    }
 else {
      slow.playerAdd(user.getName());
    }
  }
  String username=user.getColor() + user.getName();
  if (isOwner(user)) {
    username=ChatColor.GOLD + "String_Node_Str" + username;
  }
 else   if (isMod(user)) {
    username=ChatColor.GRAY + "String_Node_Str" + username;
  }
  String prefix;
  if (user.getGroup() != null && !(prefix=user.getGroup().getPrefix()).isEmpty()) {
    message=user.getGroup().getPrefixColor() + "String_Node_Str" + prefix+ "String_Node_Str"+ username+ "String_Node_Str"+ ChatColor.WHITE+ message;
    this.broadcastMessage(message);
  }
 else {
    message=username + "String_Node_Str" + ChatColor.WHITE+ message;
    this.broadcastMessage(message);
  }
}
Program: 179120
Project: 179120
Buggy source:
public ChatLevel joinChannel(User user){
  ChatLevel level;
switch (level=getLevel(user)) {
case BANNED:
    user.sendMessage(ChatColor.RED + "String_Node_Str");
case MUTED:
  user.sendMessage(ChatColor.WHITE + "String_Node_Str" + ChatColor.GREEN+ this.name);
user.sendMessage(ChatColor.YELLOW + motd);
user.sendMessage(ChatColor.RED + "String_Node_Str");
forceJoin(user);
default :
user.sendMessage(ChatColor.WHITE + "String_Node_Str" + ChatColor.GREEN+ this.name);
user.sendMessage(ChatColor.YELLOW + motd);
if (user.hasPerm("String_Node_Str") && !isMod(user) && !isOwner(user)) {
Mod(user);
}
forceJoin(user);
}
return level;
}

Fixed version (ground truth):
public ChatLevel joinChannel(User user){
  if (isSpying(user)) {
    Unspy(user);
  }
  ChatLevel level;
switch (level=getLevel(user)) {
case BANNED:
    user.sendMessage(ChatColor.RED + "String_Node_Str");
  break;
case MUTED:
user.sendMessage(ChatColor.WHITE + "String_Node_Str" + ChatColor.GREEN+ this.name);
user.sendMessage(ChatColor.YELLOW + motd);
user.sendMessage(ChatColor.RED + "String_Node_Str");
forceJoin(user);
break;
default :
user.sendMessage(ChatColor.WHITE + "String_Node_Str" + ChatColor.GREEN+ this.name);
user.sendMessage(ChatColor.YELLOW + motd);
if (user.hasPerm("String_Node_Str") && !isMod(user) && !isOwner(user)) {
Mod(user);
}
forceJoin(user);
break;
}
return level;
}
Program: 179121
Project: 179121
Buggy source:
public boolean Spy(User user){
  if (isMod(user)) {
    if (isOnline(user) != null) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return false;
    }
    if (isSpying(user)) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return false;
    }
    spies.add(user);
    user.sendMessage(ChatColor.GRAY + "String_Node_Str" + name);
    user.sendMessage(ChatColor.YELLOW + motd);
    return true;
  }
 else {
    user.sendMessage(ChatColor.RED + "String_Node_Str");
    return false;
  }
}

Fixed version (ground truth):
public boolean Spy(User user){
  if (isMod(user) || isOwner(user)) {
    if (isOnline(user) != null) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return false;
    }
    if (isSpying(user)) {
      user.sendMessage(ChatColor.RED + "String_Node_Str");
      return false;
    }
    spies.add(user);
    user.sendMessage(ChatColor.GRAY + "String_Node_Str" + name);
    user.sendMessage(ChatColor.YELLOW + motd);
    return true;
  }
 else {
    user.sendMessage(ChatColor.RED + "String_Node_Str");
    return false;
  }
}
Program: 179122
Project: 179122
Buggy source:
protected void broadcastMessage(String message){
  control.plugin.log.info("String_Node_Str" + name + "String_Node_Str"+ message);
  for (  User user : inChannel) {
    user.sendMessage(ChatColor.YELLOW + "String_Node_Str" + this.name+ "String_Node_Str"+ ChatColor.WHITE+ message);
  }
  for (  User user : spies) {
    user.sendMessage(ChatColor.YELLOW + "String_Node_Str" + this.name+ "String_Node_Str"+ ChatColor.WHITE+ message);
  }
}

Fixed version (ground truth):
protected void broadcastMessage(String message){
  control.plugin.log.info("String_Node_Str" + name + "String_Node_Str"+ ChatColor.stripColor(message));
  for (  User user : inChannel) {
    user.sendMessage(ChatColor.YELLOW + "String_Node_Str" + this.name+ "String_Node_Str"+ ChatColor.WHITE+ message);
  }
  for (  User user : spies) {
    user.sendMessage(ChatColor.YELLOW + "String_Node_Str" + this.name+ "String_Node_Str"+ ChatColor.WHITE+ message);
  }
}
Program: 179123
Project: 179123
Buggy source:
public void leaveChannel(User user){
  for (int i=0; i < inChannel.size(); i++) {
    if (inChannel.get(i).getName().equalsIgnoreCase(user.getName())) {
      inChannel.remove(i);
      if (isOwner(user)) {
        broadcastMessage(ChatColor.GOLD + "String_Node_Str" + user.getColor()+ user.getName()+ ChatColor.WHITE+ "String_Node_Str");
      }
 else       if (isMod(user)) {
        broadcastMessage(ChatColor.GRAY + "String_Node_Str" + user.getColor()+ user.getName()+ ChatColor.WHITE+ "String_Node_Str");
      }
 else {
        broadcastMessage(user.getColor() + user.getName() + ChatColor.WHITE+ "String_Node_Str");
      }
      return;
    }
  }
  user.sendMessage(ChatColor.GRAY + "String_Node_Str" + name);
}

Fixed version (ground truth):
public void leaveChannel(User user){
  for (int i=0; i < inChannel.size(); i++) {
    if (inChannel.get(i).getName().equalsIgnoreCase(user.getName())) {
      inChannel.remove(i);
      if (isOwner(user)) {
        broadcastMessage(ChatColor.GOLD + "String_Node_Str" + user.getColor()+ user.getName()+ ChatColor.WHITE+ "String_Node_Str");
      }
 else       if (isMod(user)) {
        broadcastMessage(ChatColor.GRAY + "String_Node_Str" + user.getColor()+ user.getName()+ ChatColor.WHITE+ "String_Node_Str");
      }
 else {
        broadcastMessage(user.getColor() + user.getName() + ChatColor.WHITE+ "String_Node_Str");
      }
      user.sendMessage(ChatColor.GRAY + "String_Node_Str" + name);
      return;
    }
  }
}
Program: 179124
Project: 179124
Buggy source:
protected String getValue(){
  String value=owner.getName() + "String_Node_Str";
  for (int i=0; i < mods.size(); i++) {
    if (i != 0) {
      value+="String_Node_Str";
    }
    value+=mods.get(i).getName();
  }
  value+="String_Node_Str";
  for (int i=0; i < guests.size(); i++) {
    if (i != 0) {
      value+="String_Node_Str";
    }
    value+=guests.get(i).getName();
  }
  value+="String_Node_Str";
  for (int i=0; i < banned.size(); i++) {
    if (i != 0) {
      value+="String_Node_Str";
    }
    value+=banned.get(i).getName();
  }
  value+="String_Node_Str";
  for (int i=0; i < muted.size(); i++) {
    if (i != 0) {
      value+="String_Node_Str";
    }
    value+=muted.get(i).getName();
  }
  value+="String_Node_Str";
switch (defLevel) {
case BANNED:
    value+="String_Node_Str";
case MUTED:
  value+="String_Node_Str";
default :
value+="String_Node_Str";
}
return value;
}

Fixed version (ground truth):
protected String getValue(){
  String value=owner.getName() + "String_Node_Str";
  for (int i=0; i < mods.size(); i++) {
    if (i != 0) {
      value+="String_Node_Str";
    }
    value+=mods.get(i).getName();
  }
  value+="String_Node_Str";
  for (int i=0; i < guests.size(); i++) {
    if (i != 0) {
      value+="String_Node_Str";
    }
    value+=guests.get(i).getName();
  }
  value+="String_Node_Str";
  for (int i=0; i < banned.size(); i++) {
    if (i != 0) {
      value+="String_Node_Str";
    }
    value+=banned.get(i).getName();
  }
  value+="String_Node_Str";
  for (int i=0; i < muted.size(); i++) {
    if (i != 0) {
      value+="String_Node_Str";
    }
    value+=muted.get(i).getName();
  }
  value+="String_Node_Str" + motd + "String_Node_Str";
switch (defLevel) {
case BANNED:
    value+="String_Node_Str";
case MUTED:
  value+="String_Node_Str";
default :
value+="String_Node_Str";
}
return value;
}
Program: 179127
Project: 179127
Buggy source:
public void Heal(String[] args,User user){
  if (args.length == 0) {
    if (user.isServer()) {
      user.sendMessage(ChatColor.YELLOW + "String_Node_Str");
      return;
    }
    user.Heal();
    user.sendMessage(ChatColor.GREEN + "String_Node_Str");
    log.info("String_Node_Str" + user.getName() + "String_Node_Str"+ user.getName());
  }
 else {
    User user2;
    if ((user2=User.matchUser(args[0],plugin)) != null) {
      user2=new User(plugin,plugin.getServer().matchPlayer(args[0]).get(0));
      user2.Heal();
      user2.sendMessage(ChatColor.GREEN + "String_Node_Str");
      log.info("String_Node_Str" + user.getName() + "String_Node_Str"+ user2.getName());
    }
 else {
      user.sendMessage(ChatColor.RED + args[0] + "String_Node_Str");
    }
  }
}

Fixed version (ground truth):
public void Heal(String[] args,User user){
  if (args.length == 0) {
    if (user.isServer()) {
      user.sendMessage(ChatColor.YELLOW + "String_Node_Str");
      return;
    }
    user.Heal();
    user.sendMessage(ChatColor.GREEN + "String_Node_Str");
    log.info("String_Node_Str" + user.getName() + "String_Node_Str"+ user.getName());
  }
 else {
    User user2;
    if ((user2=User.matchUser(args[0],plugin)) != null) {
      user2=User.matchUser(args[0],plugin);
      user2.Heal();
      user2.sendMessage(ChatColor.GREEN + "String_Node_Str");
      log.info("String_Node_Str" + user.getName() + "String_Node_Str"+ user2.getName());
    }
 else {
      user.sendMessage(ChatColor.RED + args[0] + "String_Node_Str");
    }
  }
}
Program: 179130
Project: 179130
Buggy source:
/** 
 * Creates an ActionableUser corresponding to the console.
 * @param instance The BenCmd Plugin reference to point to
 */
public User(BenCmd instance){
  super(instance);
  plugin=instance;
}

Fixed version (ground truth):
/** 
 * Creates an ActionableUser corresponding to the console.
 * @param instance The BenCmd Plugin reference to point to
 */
private User(BenCmd instance){
  super(instance);
  plugin=instance;
}
Program: 179131
Project: 179131
Buggy source:
public boolean unspyChannel(ChatChannel channel){
  if (channel.Unspy(this)) {
    spying.remove(channel);
    return true;
  }
 else {
    return false;
  }
}

Fixed version (ground truth):
public boolean unspyChannel(ChatChannel channel){
  if (channel.Unspy(this)) {
    spying.remove(channel);
    pushSpying();
    return true;
  }
 else {
    return false;
  }
}
Program: 179132
Project: 179132
Buggy source:
public boolean spyChannel(ChatChannel channel){
  if (channel.Spy(this)) {
    spying.add(channel);
    return true;
  }
 else {
    return false;
  }
}

Fixed version (ground truth):
public boolean spyChannel(ChatChannel channel){
  if (channel.Spy(this)) {
    spying.add(channel);
    pushSpying();
    return true;
  }
 else {
    return false;
  }
}
Program: 179133
Project: 179133
Buggy source:
public boolean inChannel(){
  return (activeChannel == null);
}

Fixed version (ground truth):
public boolean inChannel(){
  return (activeChannel != null);
}
Program: 179134
Project: 179134
Buggy source:
public static User matchUser(String name,BenCmd instance){
  for (  Player online : instance.getServer().getOnlinePlayers()) {
    if (online.getName().equalsIgnoreCase(name)) {
      return new User(instance,online);
    }
  }
  return null;
}

Fixed version (ground truth):
public static User matchUser(String name,BenCmd instance){
  for (  Player online : instance.getServer().getOnlinePlayers()) {
    if (online.getName().equalsIgnoreCase(name)) {
      return User.getUser(instance,online);
    }
  }
  return null;
}
Program: 179135
Project: 179135
Buggy source:
public boolean joinChannel(ChatChannel channel){
  if (inChannel()) {
    getActiveChannel().leaveChannel(this);
  }
  if (channel.joinChannel(this) != ChatLevel.BANNED) {
    activeChannel=channel;
    return true;
  }
 else {
    return false;
  }
}

Fixed version (ground truth):
public boolean joinChannel(ChatChannel channel){
  if (inChannel()) {
    getActiveChannel().leaveChannel(this);
  }
  if (channel.joinChannel(this) != ChatLevel.BANNED) {
    activeChannel=channel;
    pushActive();
    return true;
  }
 else {
    return false;
  }
}
Program: 179136
Project: 179136
Buggy source:
public void leaveChannel(){
  getActiveChannel().leaveChannel(this);
}

Fixed version (ground truth):
public void leaveChannel(){
  getActiveChannel().leaveChannel(this);
  activeChannel=null;
  pushActive();
}