nus-yam/ex-repair huggingface dataset:
Program: 80921
Project: 80921
Buggy source:
public String getSuffix(IPlayer player){
  String suffix=null;
  Plugin p=plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (p != null) {
    BungeePerms bp=BungeePerms.getInstance();
    try {
      User user=bp.getPermissionsManager().getUser(player.getName());
      if (user != null) {
        suffix=bp.getPermissionsManager().getMainGroup(user).getSuffix();
      }
    }
 catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  String vsuffix=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return suffix;
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vsuffix != null ? vsuffix : "String_Node_Str";
  }
  if (suffix != null) {
    return suffix;
  }
  if (vsuffix != null) {
    return vsuffix;
  }
  return "String_Node_Str";
}

Fixed version (ground truth):
public String getSuffix(IPlayer player){
  String suffix=null;
  Plugin p=plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (p != null) {
    BungeePerms bp=BungeePerms.getInstance();
    try {
      User user=bp.getPermissionsManager().getUser(player.getName());
      if (user != null) {
        suffix=bp.getPermissionsManager().getMainGroup(user).getSuffix();
      }
    }
 catch (    NullPointerException ex) {
      BungeeTabListPlus.getInstance().getLogger().log(Level.SEVERE,"String_Node_Str",ex);
    }
catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  String vsuffix=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return suffix;
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vsuffix != null ? vsuffix : "String_Node_Str";
  }
  if (suffix != null) {
    return suffix;
  }
  if (vsuffix != null) {
    return vsuffix;
  }
  return "String_Node_Str";
}
Program: 80922
Project: 80922
Buggy source:
public String getPrefix(IPlayer player){
  String bpprefix=null;
  Plugin p=plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (p != null) {
    BungeePerms bp=BungeePerms.getInstance();
    try {
      User user=bp.getPermissionsManager().getUser(player.getName());
      if (user != null) {
        bpprefix=bp.getPermissionsManager().getMainGroup(user).getPrefix();
      }
    }
 catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  String bprefix=plugin.getConfigManager().getMainConfig().prefixes.get(getMainGroup(player));
  String vprefix=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bpprefix != null ? bpprefix : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vprefix != null ? vprefix : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bprefix != null ? bprefix : "String_Node_Str";
  }
  if (bprefix != null) {
    return bprefix;
  }
  if (bpprefix != null) {
    return bpprefix;
  }
  if (vprefix != null) {
    return vprefix;
  }
  return "String_Node_Str";
}

Fixed version (ground truth):
public String getPrefix(IPlayer player){
  String bpprefix=null;
  Plugin p=plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (p != null) {
    BungeePerms bp=BungeePerms.getInstance();
    try {
      User user=bp.getPermissionsManager().getUser(player.getName());
      if (user != null) {
        bpprefix=bp.getPermissionsManager().getMainGroup(user).getPrefix();
      }
    }
 catch (    NullPointerException ex) {
      BungeeTabListPlus.getInstance().getLogger().log(Level.SEVERE,"String_Node_Str",ex);
    }
catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  String bprefix=plugin.getConfigManager().getMainConfig().prefixes.get(getMainGroup(player));
  String vprefix=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bpprefix != null ? bpprefix : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vprefix != null ? vprefix : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bprefix != null ? bprefix : "String_Node_Str";
  }
  if (bprefix != null) {
    return bprefix;
  }
  if (bpprefix != null) {
    return bpprefix;
  }
  if (vprefix != null) {
    return vprefix;
  }
  return "String_Node_Str";
}
Program: 80924
Project: 80924
Buggy source:
public String getDisplayPrefix(IPlayer player){
  String display=null;
  Plugin p=plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (p != null) {
    BungeePerms bp=BungeePerms.getInstance();
    try {
      User user=bp.getPermissionsManager().getUser(player.getName());
      if (user != null) {
        display=bp.getPermissionsManager().getMainGroup(user).getDisplay();
      }
    }
 catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  if (display == null) {
    display="String_Node_Str";
  }
  return display;
}

Fixed version (ground truth):
public String getDisplayPrefix(IPlayer player){
  String display=null;
  Plugin p=plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (p != null) {
    BungeePerms bp=BungeePerms.getInstance();
    try {
      User user=bp.getPermissionsManager().getUser(player.getName());
      if (user != null) {
        display=bp.getPermissionsManager().getMainGroup(user).getDisplay();
      }
    }
 catch (    NullPointerException ex) {
      BungeeTabListPlus.getInstance().getLogger().log(Level.SEVERE,"String_Node_Str",ex);
    }
catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  if (display == null) {
    display="String_Node_Str";
  }
  return display;
}
Program: 80926
Project: 80926
Buggy source:
public void createOrUpdatePlayer(Connection.Unsafe connection,String player,int ping){
  playerListPacket.createOrUpdatePlayer(connection,player,ping);
}

Fixed version (ground truth):
public void createOrUpdatePlayer(Connection.Unsafe connection,String player,int ping){
  Preconditions.checkArgument(player.length() <= 16);
  playerListPacket.createOrUpdatePlayer(connection,player,ping);
}
Program: 80927
Project: 80927
Buggy source:
public void createTeam(Connection.Unsafe connection,String player){
  teamPacket.createTeam(connection,player);
}

Fixed version (ground truth):
public void createTeam(Connection.Unsafe connection,String player){
  Preconditions.checkArgument(player.length() <= 13);
  teamPacket.createTeam(connection,player);
}
Program: 80928
Project: 80928
Buggy source:
public void updateTeam(Connection.Unsafe connection,String player,String prefix,String displayname,String suffix){
  teamPacket.updateTeam(connection,player,prefix,displayname,suffix);
}

Fixed version (ground truth):
public void updateTeam(Connection.Unsafe connection,String player,String prefix,String displayname,String suffix){
  Preconditions.checkArgument(player.length() <= 13);
  Preconditions.checkArgument(prefix.length() <= 16);
  Preconditions.checkArgument(displayname.length() <= 16);
  Preconditions.checkArgument(suffix.length() <= 16);
  teamPacket.updateTeam(connection,player,prefix,displayname,suffix);
}
Program: 80929
Project: 80929
Buggy source:
public void removeTeam(Connection.Unsafe connection,String player){
  teamPacket.removeTeam(connection,player);
}

Fixed version (ground truth):
public void removeTeam(Connection.Unsafe connection,String player){
  Preconditions.checkArgument(player.length() <= 13);
  teamPacket.removeTeam(connection,player);
}
Program: 80930
Project: 80930
Buggy source:
public void removePlayer(Connection.Unsafe connection,String player){
  playerListPacket.removePlayer(connection,player);
}

Fixed version (ground truth):
public void removePlayer(Connection.Unsafe connection,String player){
  Preconditions.checkArgument(player.length() <= 16);
  playerListPacket.removePlayer(connection,player);
}
Program: 80931
Project: 80931
Buggy source:
@Override public Skin getSkin(){
  if (skin == null) {
    LoginResult loginResult=((UserConnection)player).getPendingConnection().getLoginProfile();
    if (loginResult != null) {
      for (      LoginResult.Property s : loginResult.getProperties()) {
        if (s.getName().equals("String_Node_Str")) {
          skin=new PlayerSkin(player.getUniqueId(),new String[]{s.getName(),s.getValue(),s.getSignature()});
        }
      }
    }
    if (skin == null) {
      skin=new PlayerSkin(player.getUniqueId(),null);
    }
  }
  return skin;
}

Fixed version (ground truth):
@Override public Skin getSkin(){
  if (!BungeeTabListPlus.isVersion18())   return SkinManager.defaultSkin;
  if (skin == null) {
    LoginResult loginResult=((UserConnection)player).getPendingConnection().getLoginProfile();
    if (loginResult != null) {
      for (      LoginResult.Property s : loginResult.getProperties()) {
        if (s.getName().equals("String_Node_Str")) {
          skin=new PlayerSkin(player.getUniqueId(),new String[]{s.getName(),s.getValue(),s.getSignature()});
        }
      }
    }
    if (skin == null) {
      skin=new PlayerSkin(player.getUniqueId(),null);
    }
  }
  return skin;
}
Program: 80932
Project: 80932
Buggy source:
private static String getSlotID(int n){
  String hex=Integer.toHexString(n + 1);
  char[] alloc=new char[hex.length() * 2];
  for (int i=0; i < alloc.length; i++) {
    if (i % 2 == 0) {
      alloc[i]=ChatColor.COLOR_CHAR;
    }
 else {
      alloc[i]=hex.charAt(i / 2);
    }
  }
  return String.valueOf(ChatColor.MAGIC) + alloc + ChatColor.RESET;
}

Fixed version (ground truth):
private static String getSlotID(int n){
  String hex=Integer.toHexString(n + 1);
  char[] alloc=new char[hex.length() * 2];
  for (int i=0; i < alloc.length; i++) {
    if (i % 2 == 0) {
      alloc[i]=ChatColor.COLOR_CHAR;
    }
 else {
      alloc[i]=hex.charAt(i / 2);
    }
  }
  return String.valueOf(ChatColor.MAGIC) + String.valueOf(alloc) + ChatColor.RESET;
}
Program: 80933
Project: 80933
Buggy source:
private static String getSlotID(int n){
  String hex=Integer.toHexString(n + 1);
  char[] alloc=new char[hex.length() * 2];
  for (int i=0; i < alloc.length; i++) {
    if (i % 2 == 0) {
      alloc[i]=ChatColor.COLOR_CHAR;
    }
 else {
      alloc[i]=hex.charAt(i / 2);
    }
  }
  return String.valueOf(ChatColor.MAGIC) + alloc + ChatColor.RESET;
}

Fixed version (ground truth):
private static String getSlotID(int n){
  String hex=Integer.toHexString(n + 1);
  char[] alloc=new char[hex.length() * 2];
  for (int i=0; i < alloc.length; i++) {
    if (i % 2 == 0) {
      alloc[i]=ChatColor.COLOR_CHAR;
    }
 else {
      alloc[i]=hex.charAt(i / 2);
    }
  }
  return String.valueOf(ChatColor.MAGIC) + String.valueOf(alloc) + ChatColor.RESET;
}
Program: 80934
Project: 80934
Buggy source:
void createTeam(Connection.Unsafe connection,String player){
  Team t=new Team();
  t.setName("String_Node_Str" + player);
  t.setMode((byte)0);
  t.setPrefix("String_Node_Str");
  t.setDisplayName("String_Node_Str");
  t.setSuffix("String_Node_Str");
  t.setPlayers(new String[]{player});
  connection.sendPacket(t);
}

Fixed version (ground truth):
void createTeam(Connection.Unsafe connection,String player){
  Preconditions.checkArgument(player.length() <= 13);
  Team t=new Team();
  t.setName("String_Node_Str" + player);
  t.setMode((byte)0);
  t.setPrefix("String_Node_Str");
  t.setDisplayName("String_Node_Str");
  t.setSuffix("String_Node_Str");
  t.setPlayers(new String[]{player});
  connection.sendPacket(t);
}
Program: 80935
Project: 80935
Buggy source:
@Override public String getReplacement(ProxiedPlayer viewer,ServerInfo server,String args){
  if (Objects.equals(server,viewer.getServer()))   return args;
  return "String_Node_Str";
}

Fixed version (ground truth):
@Override public String getReplacement(ProxiedPlayer viewer,ServerInfo server,String args){
  if (viewer.getServer() != null && Objects.equals(server,viewer.getServer().getInfo()))   return args;
  return "String_Node_Str";
}
Program: 80936
Project: 80936
Buggy source:
private void createSlot(int row){
  PlayerListItem pli=new PlayerListItem();
  pli.setAction(PlayerListItem.Action.ADD_PLAYER);
  Item item=new Item();
  UUID offlineId=java.util.UUID.nameUUIDFromBytes(("String_Node_Str" + getSlotID(row)).getBytes(Charsets.UTF_8));
  item.setUuid(offlineId);
  item.setDisplayName("String_Node_Str");
  item.setGamemode(0);
  item.setPing(0);
  item.setUsername(getSlotID(row));
  item.setProperties(new String[0][0]);
  pli.setItems(new Item[]{item});
  getPlayer().unsafe().sendPacket(pli);
  send[row]="String_Node_Str";
  slots_ping[row]=0;
  sendTextures[row]=null;
}

Fixed version (ground truth):
private void createSlot(int row){
  PlayerListItem pli=new PlayerListItem();
  pli.setAction(PlayerListItem.Action.ADD_PLAYER);
  Item item=new Item();
  UUID offlineId=java.util.UUID.nameUUIDFromBytes(("String_Node_Str" + getSlotID(row)).getBytes(Charsets.UTF_8));
  item.setUuid(offlineId);
  item.setDisplayName("String_Node_Str");
  item.setGamemode(0);
  item.setPing(0);
  item.setUsername(getSlotID(row));
  item.setProperties(new String[0][0]);
  pli.setItems(new Item[]{item});
  getPlayer().unsafe().sendPacket(pli);
  send[row]=null;
  slots_ping[row]=0;
  sendTextures[row]=null;
}
Program: 80937
Project: 80937
Buggy source:
private void removeSlot(int i){
  PlayerListItem pli=new PlayerListItem();
  pli.setAction(PlayerListItem.Action.REMOVE_PLAYER);
  Item item=new Item();
  UUID offlineId=java.util.UUID.nameUUIDFromBytes(("String_Node_Str" + getSlotID(i)).getBytes(Charsets.UTF_8));
  item.setUuid(offlineId);
  item.setDisplayName("String_Node_Str");
  item.setGamemode(0);
  item.setPing(0);
  item.setUsername(getSlotID(i));
  item.setProperties(new String[0][0]);
  pli.setItems(new Item[]{item});
  getPlayer().unsafe().sendPacket(pli);
  uuidList[i]=null;
}

Fixed version (ground truth):
private void removeSlot(int i){
  PlayerListItem pli=new PlayerListItem();
  pli.setAction(PlayerListItem.Action.REMOVE_PLAYER);
  Item item=new Item();
  UUID offlineId=java.util.UUID.nameUUIDFromBytes(("String_Node_Str" + getSlotID(i)).getBytes(Charsets.UTF_8));
  item.setUuid(offlineId);
  item.setDisplayName("String_Node_Str");
  item.setGamemode(0);
  item.setPing(0);
  item.setUsername(getSlotID(i));
  item.setProperties(new String[0][0]);
  pli.setItems(new Item[]{item});
  getPlayer().unsafe().sendPacket(pli);
  uuidList[i]=null;
  send.remove(offlineId);
}
Program: 80938
Project: 80938
Buggy source:
private void updateSlot(int row,String text,int ping){
  UUID offlineId=uuidList[row];
  if (ping != slots_ping[row]) {
    slots_ping[row]=ping;
    PlayerListItem pli=new PlayerListItem();
    pli.setAction(PlayerListItem.Action.UPDATE_LATENCY);
    Item item=new Item();
    item.setUuid(offlineId);
    item.setPing(ping);
    item.setUsername(getSlotID(row));
    item.setProperties(new String[0][0]);
    pli.setItems(new Item[]{item});
    getPlayer().unsafe().sendPacket(pli);
  }
  String old=send.get(offlineId);
  if (old == null || !old.equals(text)) {
    send.put(offlineId,text);
    PlayerListItem pli=new PlayerListItem();
    pli.setAction(PlayerListItem.Action.UPDATE_DISPLAY_NAME);
    Item item=new Item();
    item.setUuid(offlineId);
    item.setPing(ping);
    item.setDisplayName(ComponentSerializer.toString(TextComponent.fromLegacyText(text)));
    item.setUsername(getSlotID(row));
    item.setGamemode(0);
    item.setProperties(new String[0][0]);
    pli.setItems(new Item[]{item});
    getPlayer().unsafe().sendPacket(pli);
  }
}

Fixed version (ground truth):
private void updateSlot(int row,String text,int ping){
  UUID offlineId=uuidList[row];
  if (ping != slots_ping[row]) {
    slots_ping[row]=ping;
    PlayerListItem pli=new PlayerListItem();
    pli.setAction(PlayerListItem.Action.UPDATE_LATENCY);
    Item item=new Item();
    item.setUuid(offlineId);
    item.setPing(ping);
    item.setUsername(getSlotID(row));
    item.setProperties(new String[0][0]);
    pli.setItems(new Item[]{item});
    getPlayer().unsafe().sendPacket(pli);
  }
  String old=send.get(offlineId);
  if (old == null || !old.equals(text) || row >= sendSlots) {
    send.put(offlineId,text);
    PlayerListItem pli=new PlayerListItem();
    pli.setAction(PlayerListItem.Action.UPDATE_DISPLAY_NAME);
    Item item=new Item();
    item.setUuid(offlineId);
    item.setPing(ping);
    item.setDisplayName(ComponentSerializer.toString(TextComponent.fromLegacyText(text)));
    item.setUsername(getSlotID(row));
    item.setGamemode(0);
    item.setProperties(new String[0][0]);
    pli.setItems(new Item[]{item});
    getPlayer().unsafe().sendPacket(pli);
  }
}
Program: 80939
Project: 80939
Buggy source:
/** 
 * called when the plugin is disabled
 */
@Override public void onDisable(){
  ProxyServer.getInstance().getPluginManager().unregisterCommands(INSTANCE);
  ProxyServer.getInstance().getPluginManager().unregisterListeners(INSTANCE);
  ProxyServer.getInstance().getScheduler().cancel(INSTANCE);
  tabLists=null;
  variables=null;
  config=null;
  INSTANCE=null;
}

Fixed version (ground truth):
/** 
 * called when the plugin is disabled
 */
@Override public void onDisable(){
}
Program: 80940
Project: 80940
Buggy source:
public String getSuffix(ProxiedPlayer player){
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  String suffix=null;
  if (bp != null) {
    try {
      suffix=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(player.getName())).getSuffix();
    }
 catch (    Throwable th) {
    }
  }
  if (suffix == null) {
    suffix="String_Node_Str";
  }
  String vsuffix=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return suffix;
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vsuffix != null ? vsuffix : "String_Node_Str";
  }
  if (vsuffix != null) {
    return vsuffix;
  }
  return suffix;
}

Fixed version (ground truth):
public String getSuffix(ProxiedPlayer player){
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  String suffix=null;
  if (bp != null) {
    try {
      suffix=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(player.getName())).getSuffix();
    }
 catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  String vsuffix=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return suffix;
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vsuffix != null ? vsuffix : "String_Node_Str";
  }
  if (suffix != null) {
    return suffix;
  }
  if (vsuffix != null) {
    return vsuffix;
  }
  return "String_Node_Str";
}
Program: 80941
Project: 80941
Buggy source:
public String getPrefix(ProxiedPlayer player){
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  String bpprefix=null;
  if (bp != null) {
    try {
      bpprefix=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(player.getName())).getPrefix();
    }
 catch (    Throwable th) {
    }
  }
  String bprefix=plugin.getConfigManager().getMainConfig().prefixes.get(getMainGroup(player));
  String vprefix=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bpprefix != null ? bpprefix : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vprefix != null ? vprefix : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bprefix;
  }
  if (vprefix != null) {
    return vprefix;
  }
  if (bpprefix != null) {
    return bpprefix;
  }
  return bprefix;
}

Fixed version (ground truth):
public String getPrefix(ProxiedPlayer player){
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  String bpprefix=null;
  if (bp != null) {
    try {
      bpprefix=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(player.getName())).getPrefix();
    }
 catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  String bprefix=plugin.getConfigManager().getMainConfig().prefixes.get(getMainGroup(player));
  String vprefix=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bpprefix != null ? bpprefix : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vprefix != null ? vprefix : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bprefix;
  }
  if (bpprefix != null) {
    return bpprefix;
  }
  if (vprefix != null) {
    return vprefix;
  }
  return bprefix;
}
Program: 80942
Project: 80942
Buggy source:
public String getMainGroup(ProxiedPlayer player){
  String bpgroup=null;
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (bp != null) {
    try {
      bpgroup=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(player.getName())).getName();
    }
 catch (    Throwable th) {
    }
  }
  String vgroup=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String bgroup=null;
  if (player.getGroups().size() == 1) {
    bgroup=player.getGroups().iterator().next();
  }
  for (  String group : player.getGroups()) {
    if (!group.equals("String_Node_Str")) {
      bgroup=group;
      break;
    }
  }
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bpgroup != null ? bpgroup : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vgroup != null ? vgroup : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bgroup;
  }
  if (vgroup != null) {
    return vgroup;
  }
  if (bpgroup != null) {
    return bpgroup;
  }
  return bgroup;
}

Fixed version (ground truth):
public String getMainGroup(ProxiedPlayer player){
  String bpgroup=null;
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (bp != null) {
    try {
      bpgroup=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(player.getName())).getName();
    }
 catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  String vgroup=plugin.getBridge().getPlayerInformation(player,"String_Node_Str");
  String bgroup=null;
  if (player.getGroups().size() == 1) {
    bgroup=player.getGroups().iterator().next();
  }
  for (  String group : player.getGroups()) {
    if (!group.equals("String_Node_Str")) {
      bgroup=group;
      break;
    }
  }
  String mode=plugin.getConfigManager().getMainConfig().permissionSource;
  if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bpgroup != null ? bpgroup : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return vgroup != null ? vgroup : "String_Node_Str";
  }
 else   if (mode.equalsIgnoreCase("String_Node_Str")) {
    return bgroup;
  }
  if (bpgroup != null) {
    return bpgroup;
  }
  if (vgroup != null) {
    return vgroup;
  }
  return bgroup;
}
Program: 80943
Project: 80943
Buggy source:
public boolean hasPermission(CommandSender sender,String permission){
  if (sender.hasPermission(permission)) {
    return true;
  }
  try {
    Boolean b=Boolean.valueOf(plugin.getBridge().getPlayerInformation((ProxiedPlayer)sender,permission));
    if (b != null) {
      return b;
    }
  }
 catch (  Throwable th) {
  }
  return false;
}

Fixed version (ground truth):
public boolean hasPermission(CommandSender sender,String permission){
  if (sender.hasPermission(permission)) {
    return true;
  }
  try {
    Boolean b=Boolean.valueOf(plugin.getBridge().getPlayerInformation((ProxiedPlayer)sender,permission));
    if (b != null) {
      return b;
    }
  }
 catch (  Throwable th) {
    BungeeTabListPlus.getInstance().reportError(th);
  }
  return false;
}
Program: 80944
Project: 80944
Buggy source:
public int comparePlayers(ProxiedPlayer p1,ProxiedPlayer p2){
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (bp != null) {
    try {
      Group g1=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(p1.getName()));
      Group g2=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(p2.getName()));
      int r1=g1.getRank();
      int r2=g2.getRank();
      if (r1 > r2) {
        return 1;
      }
      if (r2 > r1) {
        return -1;
      }
      return 0;
    }
 catch (    Throwable th) {
    }
  }
  int i=0;
  for (  String group : p1.getGroups()) {
    if (!group.equals("String_Node_Str")) {
      i=1;
    }
  }
  int j=0;
  for (  String group : p2.getGroups()) {
    if (!group.equals("String_Node_Str")) {
      j=1;
    }
  }
  if (i > j) {
    return 1;
  }
  if (j > i) {
    return -1;
  }
  return 0;
}

Fixed version (ground truth):
public int comparePlayers(ProxiedPlayer p1,ProxiedPlayer p2){
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  if (bp != null) {
    try {
      Group g1=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(p1.getName()));
      Group g2=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(p2.getName()));
      int r1=g1.getRank();
      int r2=g2.getRank();
      if (r1 > r2) {
        return 1;
      }
      if (r2 > r1) {
        return -1;
      }
      return 0;
    }
 catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  int i=0;
  for (  String group : p1.getGroups()) {
    if (!group.equals("String_Node_Str")) {
      i=1;
    }
  }
  int j=0;
  for (  String group : p2.getGroups()) {
    if (!group.equals("String_Node_Str")) {
      j=1;
    }
  }
  if (i > j) {
    return 1;
  }
  if (j > i) {
    return -1;
  }
  return 0;
}
Program: 80945
Project: 80945
Buggy source:
public String getDisplayPrefix(ProxiedPlayer player){
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  String display=null;
  if (bp != null) {
    try {
      display=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(player.getName())).getDisplay();
    }
 catch (    Throwable th) {
    }
  }
  if (display == null) {
    display="String_Node_Str";
  }
  return display;
}

Fixed version (ground truth):
public String getDisplayPrefix(ProxiedPlayer player){
  BungeePerms bp=(BungeePerms)plugin.getProxy().getPluginManager().getPlugin("String_Node_Str");
  String display=null;
  if (bp != null) {
    try {
      display=bp.getPermissionsManager().getMainGroup(bp.getPermissionsManager().getUser(player.getName())).getDisplay();
    }
 catch (    Throwable th) {
      BungeeTabListPlus.getInstance().reportError(th);
    }
  }
  if (display == null) {
    display="String_Node_Str";
  }
  return display;
}
Program: 80946
Project: 80946
Buggy source:
private void invalidShowTo(TabListConfig config){
  plugin.getLogger().warning(ChatColor.RED + config.getFileName() + "String_Node_Str");
}

Fixed version (ground truth):
private void invalidShowTo(TabListConfig config){
  plugin.getLogger().log(Level.WARNING,"String_Node_Str",new Object[]{ChatColor.RED,config.getFileName()});
}
Program: 80947
Project: 80947
Buggy source:
public String replaceVariables(String s){
  StringBuffer sb=new StringBuffer();
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(s);
  while (matcher.find()) {
    String var=s.substring(matcher.start(),matcher.end());
    var=var.replaceAll("String_Node_Str","String_Node_Str");
    String arg=null;
    if (var.contains("String_Node_Str")) {
      arg=var.substring(var.indexOf("String_Node_Str"),var.length());
      var=var.substring(0,var.indexOf("String_Node_Str"));
    }
    Variable variable=this.variables.get(var);
    String replacement="String_Node_Str" + var + "String_Node_Str";
    if (variable != null) {
      replacement=variable.getReplacement(arg);
    }
    matcher.appendReplacement(sb,replacement);
  }
  matcher.appendTail(sb);
  return sb.toString();
}

Fixed version (ground truth):
public String replaceVariables(String s){
  StringBuffer sb=new StringBuffer();
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(s);
  while (matcher.find()) {
    String var=s.substring(matcher.start(),matcher.end());
    var=var.replaceAll("String_Node_Str","String_Node_Str");
    String arg=null;
    String replacement="String_Node_Str" + var + "String_Node_Str";
    if (var.contains("String_Node_Str")) {
      arg=var.substring(var.indexOf("String_Node_Str") + 1);
      var=var.substring(0,var.indexOf("String_Node_Str"));
    }
    Variable variable=this.variables.get(var);
    if (variable != null) {
      replacement=variable.getReplacement(arg);
    }
    matcher.appendReplacement(sb,replacement);
  }
  matcher.appendTail(sb);
  return sb.toString();
}
Program: 80948
Project: 80948
Buggy source:
public String replacePlayerVariables(String s,ProxiedPlayer player){
  if (player.getServer() != null) {
    s=replaceServerVariables(s,player.getServer().getInfo());
  }
  StringBuffer sb=new StringBuffer();
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(s);
  while (matcher.find()) {
    String var=s.substring(matcher.start(),matcher.end());
    var=var.replaceAll("String_Node_Str","String_Node_Str");
    String arg=null;
    if (var.contains("String_Node_Str")) {
      arg=var.substring(var.indexOf("String_Node_Str"),var.length());
      var=var.substring(0,var.indexOf("String_Node_Str"));
    }
    PlayerVariable variable=this.playerVariables.get(var);
    String replacement="String_Node_Str" + var + "String_Node_Str";
    if (variable != null) {
      replacement=variable.getReplacement(arg,player);
    }
    matcher.appendReplacement(sb,replacement);
  }
  matcher.appendTail(sb);
  return sb.toString();
}

Fixed version (ground truth):
public String replacePlayerVariables(String s,ProxiedPlayer player){
  if (player.getServer() != null) {
    s=replaceServerVariables(s,player.getServer().getInfo());
  }
  StringBuffer sb=new StringBuffer();
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(s);
  while (matcher.find()) {
    String var=s.substring(matcher.start(),matcher.end());
    var=var.replaceAll("String_Node_Str","String_Node_Str");
    String arg=null;
    String replacement="String_Node_Str" + var + "String_Node_Str";
    if (var.contains("String_Node_Str")) {
      arg=var.substring(var.indexOf("String_Node_Str") + 1);
      var=var.substring(0,var.indexOf("String_Node_Str"));
    }
    PlayerVariable variable=this.playerVariables.get(var);
    if (variable != null) {
      replacement=variable.getReplacement(arg,player);
    }
    matcher.appendReplacement(sb,replacement);
  }
  matcher.appendTail(sb);
  return sb.toString();
}
Program: 80949
Project: 80949
Buggy source:
public String replaceServerVariables(String s,ServerInfo server){
  StringBuffer sb=new StringBuffer();
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(s);
  while (matcher.find()) {
    String var=s.substring(matcher.start(),matcher.end());
    var=var.replaceAll("String_Node_Str","String_Node_Str");
    String arg=null;
    if (var.contains("String_Node_Str")) {
      arg=var.substring(var.indexOf("String_Node_Str"),var.length());
      var=var.substring(0,var.indexOf("String_Node_Str"));
    }
    ServerVariable variable=this.serverVariables.get(var);
    String replacement="String_Node_Str" + var + "String_Node_Str";
    if (variable != null) {
      replacement=variable.getReplacement(arg,server);
    }
    matcher.appendReplacement(sb,replacement);
  }
  matcher.appendTail(sb);
  return sb.toString();
}

Fixed version (ground truth):
public String replaceServerVariables(String s,ServerInfo server){
  StringBuffer sb=new StringBuffer();
  Pattern pattern=Pattern.compile("String_Node_Str");
  Matcher matcher=pattern.matcher(s);
  while (matcher.find()) {
    String var=s.substring(matcher.start(),matcher.end());
    var=var.replaceAll("String_Node_Str","String_Node_Str");
    String arg=null;
    String replacement="String_Node_Str" + var + "String_Node_Str";
    if (var.contains("String_Node_Str")) {
      arg=var.substring(var.indexOf("String_Node_Str") + 1);
      var=var.substring(0,var.indexOf("String_Node_Str"));
    }
    ServerVariable variable=this.serverVariables.get(var);
    if (variable != null) {
      replacement=variable.getReplacement(arg,server);
    }
    matcher.appendReplacement(sb,replacement);
  }
  matcher.appendTail(sb);
  return sb.toString();
}
Program: 80950
Project: 80950
Buggy source:
/** 
 * Gets the actual link from the given shortened URL.
 * @param toShorten The URL to unshorten
 * @return The actual URL that will be served
 */
public static String unshortenURL(String toShorten){
  URLConnection myConn=null;
  try {
    URL myURL=new URL(toShorten);
    myConn=myURL.openConnection();
    myConn.getInputStream();
  }
 catch (  Exception e) {
  }
  if (myConn != null) {
    return myConn.getURL().toString();
  }
 else {
    return toShorten;
  }
}

Fixed version (ground truth):
/** 
 * Gets the actual link from the given shortened URL. The URL should be an HTTP or HTTPS URL.
 * @param toShorten The URL to unshorten
 * @return The actual URL that will be served, or null if an error occurs
 */
public static String unshortenURL(String toShorten){
  try {
    HttpURLConnection connection=(HttpURLConnection)new URL(toShorten).openConnection();
    if (connection.getResponseCode() >= 300 && connection.getResponseCode() < 400) {
      if (connection.getHeaderField("String_Node_Str") != null) {
        return unshortenURL(connection.getHeaderField("String_Node_Str"));
      }
 else {
        System.out.println(connection.getResponseCode() + "String_Node_Str");
        return null;
      }
    }
  }
 catch (  Exception e) {
    e.printStackTrace();
    return null;
  }
  return toShorten;
}
Program: 80951
Project: 80951
Buggy source:
/** 
 * Checks whether or not the given URL is a PAX ticket page or a queue page.
 * @param URL The URL to check
 * @return True if it is, false if not
 */
public boolean isPaxPage(String URL){
  try {
    HttpURLConnection connect=Browser.setUpConnection(new URL(URL));
    if (connect.getResponseCode() >= 300 && connect.getResponseCode() < 400) {
      if (connect.getHeaderField("String_Node_Str") != null) {
        return isPaxPage(connect.getHeaderField("String_Node_Str"));
      }
 else {
        System.out.println(connect.getResponseCode() + "String_Node_Str");
        return false;
      }
    }
    BufferedReader reader=new BufferedReader(new InputStreamReader(connect.getInputStream()));
    String text="String_Node_Str";
    String line;
    while ((line=reader.readLine()) != null) {
      DataTracker.addDataUsed(line.length());
      text+=line.toLowerCase();
    }
    if (text.contains("String_Node_Str")) {
      System.out.println("String_Node_Str");
      return true;
    }
 else     if (text.contains("String_Node_Str")) {
      if (strictFiltering) {
        System.out.println("String_Node_Str");
        return false;
      }
 else {
        System.out.println("String_Node_Str");
        return true;
      }
    }
 else {
      System.out.println("String_Node_Str");
      return false;
    }
  }
 catch (  IOException iOException) {
    System.out.println("String_Node_Str");
    return !strictFiltering;
  }
}

Fixed version (ground truth):
/** 
 * Checks whether or not the given URL is a PAX ticket page or a queue page. Note that this does NOT follow any redirects.
 * @param link The URL to check
 * @return True if it is, false if not
 */
public boolean isPaxPage(String link){
  try {
    URLConnection connect=new URL(link).openConnection();
    BufferedReader reader=new BufferedReader(new InputStreamReader(connect.getInputStream()));
    String line;
    while ((line=reader.readLine().toLowerCase()) != null) {
      DataTracker.addDataUsed(line.length());
      if (line.contains("String_Node_Str")) {
        System.out.println("String_Node_Str");
        return true;
      }
 else       if (line.contains("String_Node_Str")) {
        if (strictFiltering) {
          System.out.println("String_Node_Str");
        }
 else {
          System.out.println("String_Node_Str");
          return true;
        }
      }
    }
  }
 catch (  IOException iOException) {
    System.out.println("String_Node_Str");
    return !strictFiltering;
  }
  System.out.println("String_Node_Str");
  return false;
}
Program: 80952
Project: 80952
Buggy source:
private void updateLinkFromSet(Set<String> mySet){
  for (  String i : mySet) {
    if (!alreadyChecked.contains(i)) {
      System.out.println("String_Node_Str" + i);
      if (showReader.isPaxPage(i)) {
        originalLink=i;
        currentLink=Browser.unshortenURL(i);
        System.out.println("String_Node_Str" + originalLink + "String_Node_Str"+ currentLink);
        break;
      }
 else {
        System.out.println("String_Node_Str");
        alreadyChecked.add(i);
      }
    }
  }
}

Fixed version (ground truth):
private void updateLinkFromSet(Set<String> allLinksFound){
  for (  String link : allLinksFound) {
    if (!alreadyChecked.contains(link)) {
      link=Browser.unshortenURL(link);
      if (!alreadyChecked.contains(link)) {
        System.out.println("String_Node_Str" + link);
        if (showReader.isPaxPage(link)) {
          currentLink=link;
          System.out.println("String_Node_Str" + currentLink);
          break;
        }
 else {
          System.out.println("String_Node_Str");
          alreadyChecked.add(link);
        }
      }
    }
  }
}
Program: 80953
Project: 80953
Buggy source:
@Override public synchronized boolean ticketsFound(){
  if (currentLink == null) {
    return false;
  }
  return !alreadyChecked.contains(currentLink);
}

Fixed version (ground truth):
@Override public synchronized boolean ticketsFound(){
  return currentLink != null;
}
Program: 80954
Project: 80954
Buggy source:
@Override public synchronized void reset(){
  if (currentLink == null) {
    Set<String> mySet=getLinks();
    for (    String i : mySet) {
      alreadyChecked.add(i);
      currentLink=i;
    }
  }
 else {
    System.out.println("String_Node_Str" + originalLink + "String_Node_Str");
    alreadyChecked.add(originalLink);
  }
}

Fixed version (ground truth):
@Override public synchronized void reset(){
  if (currentLink != null) {
    System.out.println("String_Node_Str" + currentLink + "String_Node_Str");
    alreadyChecked.add(currentLink);
    currentLink=null;
  }
}
Program: 80955
Project: 80955
Buggy source:
@Override public synchronized void updateLink(){
  updateLink("String_Node_Str");
  Set<String> mySet=getLinks();
  updateLinkFromSet(mySet);
  updateLink(getLink());
}

Fixed version (ground truth):
@Override public synchronized void updateLink(){
  updateLink("String_Node_Str");
  Set<String> allLinksFound=getLinks();
  if (alreadyChecked.isEmpty()) {
    alreadyChecked.addAll(allLinksFound);
  }
 else {
    updateLinkFromSet(allLinksFound);
  }
  updateLink(getLink());
}
Program: 80956
Project: 80956
Buggy source:
/** 
 * Creates a new CheckShowclix.
 * @param expo The expo to check
 * @param shouldFilterShowclix True to use strict Showclix filtering, false to not
 */
public CheckShowclix(Expo expo,boolean shouldFilterShowclix){
  super();
  expoToCheck=expo;
  showReader=new ShowclixReader(expoToCheck);
  if (shouldFilterShowclix) {
    showReader.strictFilter();
  }
}

Fixed version (ground truth):
/** 
 * Creates a new CheckShowclix.
 * @param expo The expo to check
 * @param shouldFilterShowclix True to use strict Showclix filtering, false to not
 */
public CheckShowclix(Expo expo,boolean shouldFilterShowclix){
  super();
  showReader=new ShowclixReader(expo);
  if (shouldFilterShowclix) {
    showReader.strictFilter();
  }
}
Program: 80957
Project: 80957
Buggy source:
@Override public void onStatus(Status status){
  System.out.println("String_Node_Str" + status.getUser().getScreenName() + "String_Node_Str"+ status.getText());
  if (status.isRetweet()) {
    System.out.println("String_Node_Str");
  }
 else   if (filterKeywords && !hasKeyword(status.getText())) {
    System.out.println("String_Node_Str");
  }
 else {
    for (    twitter4j.URLEntity url : status.getURLEntities()) {
      System.out.println("String_Node_Str" + url.getDisplayURL());
      System.out.println("String_Node_Str" + url.getExpandedURL());
      System.out.println("String_Node_Str" + url.getText());
      System.out.println("String_Node_Str" + url.getURL());
      linkFound(url.getExpandedURL(),status.getText());
    }
  }
}

Fixed version (ground truth):
@Override public void onStatus(Status status){
  System.out.println("String_Node_Str" + status.getUser().getScreenName() + "String_Node_Str"+ status.getText());
  if (status.isRetweet()) {
    System.out.println("String_Node_Str");
  }
 else   if (filterKeywords && !hasKeyword(status.getText())) {
    System.out.println("String_Node_Str");
  }
 else {
    for (    twitter4j.URLEntity url : status.getURLEntities()) {
      System.out.println("String_Node_Str" + url.getDisplayURL());
      System.out.println("String_Node_Str" + url.getExpandedURL());
      System.out.println("String_Node_Str" + url.getText());
      System.out.println("String_Node_Str" + url.getURL());
      if (url.getExpandedURL().contains("String_Node_Str")) {
        linkFound(url.getExpandedURL(),status.getText());
      }
 else {
        System.out.println("String_Node_Str");
        String finalURL=Browser.unshortenURL(url.getExpandedURL());
        if (finalURL.contains("String_Node_Str")) {
          linkFound(finalURL,status.getText());
        }
      }
    }
  }
}
Program: 80958
Project: 80958
Buggy source:
@Override public void linkFound(String link,String statusText){
  Browser.openLinkInBrowser(link);
  email.sendMessage("String_Node_Str","String_Node_Str" + statusText + "String_Node_Str"+ link);
}

Fixed version (ground truth):
@Override public void linkFound(String link,String statusText){
  checker.addLinkFound(link);
  Browser.openLinkInBrowser(link);
  if (email != null) {
    email.sendMessage("String_Node_Str","String_Node_Str" + statusText + "String_Node_Str"+ link);
  }
}
Program: 80959
Project: 80959
Buggy source:
private static TwitterStreamer setupTwitter(final Status myStatus,final String[] keys,final EmailAccount email){
  return new TwitterStreamer(keys){
    @Override public void twitterConnected(){
      myStatus.setTwitterStatus(true);
    }
    @Override public void twitterDisconnected(){
      myStatus.setTwitterStatus(false);
    }
    @Override public void twitterKilled(){
      myStatus.twitterStreamKilled();
    }
    @Override public void linkFound(    String link,    String statusText){
      Browser.openLinkInBrowser(link);
      email.sendMessage("String_Node_Str","String_Node_Str" + statusText + "String_Node_Str"+ link);
    }
  }
;
}

Fixed version (ground truth):
private static TwitterStreamer setupTwitter(final Status myStatus,final String[] keys,final EmailAccount email,final TicketChecker checker){
  return new TwitterStreamer(keys){
    @Override public void twitterConnected(){
      myStatus.setTwitterStatus(true);
    }
    @Override public void twitterDisconnected(){
      myStatus.setTwitterStatus(false);
    }
    @Override public void twitterKilled(){
      myStatus.twitterStreamKilled();
    }
    @Override public void linkFound(    String link,    String statusText){
      checker.addLinkFound(link);
      Browser.openLinkInBrowser(link);
      if (email != null) {
        email.sendMessage("String_Node_Str","String_Node_Str" + statusText + "String_Node_Str"+ link);
      }
    }
  }
;
}
Program: 80960
Project: 80960
Buggy source:
private static TicketChecker initChecker(Setup mySetup,StatusGUI myStatus,String expo){
  TicketChecker myChecker=new TicketChecker(myStatus);
  if (mySetup.shouldCheckPAXWebsite()) {
    myChecker.addChecker(new CheckPaxsite(expo));
  }
  if (mySetup.shouldCheckShowclix()) {
    myChecker.addChecker(new CheckShowclix(expo));
  }
  if (mySetup.shouldCheckKnownEvents()) {
    myChecker.addChecker(new CheckShowclixEventPage());
  }
  myChecker.initCheckers();
  return myChecker;
}

Fixed version (ground truth):
private static TicketChecker initChecker(Setup mySetup,StatusGUI myStatus,Expo expo){
  TicketChecker myChecker=new TicketChecker(myStatus);
  if (mySetup.shouldCheckPAXWebsite()) {
    myChecker.addChecker(new CheckPaxsite(expo.toString()));
  }
  if (mySetup.shouldCheckShowclix()) {
    myChecker.addChecker(new CheckShowclix(expo.toString()));
  }
  if (mySetup.shouldCheckKnownEvents()) {
    myChecker.addChecker(new CheckShowclixEventPage());
  }
  myChecker.initCheckers();
  return myChecker;
}
Program: 80963
Project: 80963
Buggy source:
/** 
 * Checks whether or not the given URL is a PAX ticket page or a queue page.
 * @param URL The URL to check
 * @return True if it is, false if not
 */
public static boolean isPaxPage(String URL){
  try {
    HttpURLConnection connect=Browser.setUpConnection(new URL(URL));
    BufferedReader reader=new BufferedReader(new InputStreamReader(connect.getInputStream()));
    String text="String_Node_Str";
    String line;
    while ((line=reader.readLine()) != null) {
      DataTracker.addDataUsed(line.length());
      text+=line.toLowerCase();
    }
    if (text.contains("String_Node_Str")) {
      System.out.println("String_Node_Str");
      return true;
    }
 else     if (!strictFiltering && text.contains("String_Node_Str")) {
      System.out.println("String_Node_Str");
      return true;
    }
 else {
      return false;
    }
  }
 catch (  IOException iOException) {
    System.out.println("String_Node_Str");
    return true;
  }
}

Fixed version (ground truth):
/** 
 * Checks whether or not the given URL is a PAX ticket page or a queue page.
 * @param URL The URL to check
 * @return True if it is, false if not
 */
public static boolean isPaxPage(String URL){
  try {
    HttpURLConnection connect=Browser.setUpConnection(new URL(URL));
    BufferedReader reader=new BufferedReader(new InputStreamReader(connect.getInputStream()));
    String text="String_Node_Str";
    String line;
    while ((line=reader.readLine()) != null) {
      DataTracker.addDataUsed(line.length());
      text+=line.toLowerCase();
    }
    if (text.contains("String_Node_Str")) {
      System.out.println("String_Node_Str");
      return true;
    }
 else     if (text.contains("String_Node_Str")) {
      if (strictFiltering) {
        System.out.println("String_Node_Str");
        return false;
      }
 else {
        System.out.println("String_Node_Str");
        return true;
      }
    }
 else {
      System.out.println("String_Node_Str");
      return false;
    }
  }
 catch (  IOException iOException) {
    System.out.println("String_Node_Str");
    return !strictFiltering;
  }
}