nus-yam/ex-repair huggingface dataset:
Program: 25035
Project: 25035
Buggy source:
public void testGenerateMove2(){
  MainTest.gameSample();
  GameState gs=new GameState();
  gs.generatePosibleMoves();
  for (int z=0; z < Model.LEVELS; z++) {
    System.out.println();
    for (int x=0; x < Model.LEVELS - z; x++) {
      System.out.println();
      for (int y=0; y < Model.LEVELS - z; y++) {
        System.out.print(gs.state.state[z][x][y]);
      }
    }
  }
  for (  Move m : gs.possibleMoves) {
    System.out.println(m.toString());
  }
}

Fixed version (ground truth):
public void testGenerateMove2(){
  MainTest.gameSample();
  GameState gs=new GameState();
  gs.generatePosibleMoves();
  for (  Move m : gs.possibleMoves) {
    if (m.removeStep)     assertEquals(19,m.removables.size());
  }
  assertEquals(11,gs.possibleMoves.size());
}
Program: 25036
Project: 25036
Buggy source:
public void testMount(){
  MainTest.gameSample();
  State s=new State();
  Move m=new Mount(1,0,1,2,2,0);
  s=m.doMove(s);
}

Fixed version (ground truth):
public void testMount(){
  MainTest.gameSample();
  State s=new State();
  Move m=new Mount(Position.at(1,0,1),Position.at(2,2,0));
  s=m.doMove(s);
}
Program: 25037
Project: 25037
Buggy source:
/** 
 * if depth == 0 then AI makes random moves
 * @param depth
 */
public void AI(int depth){
  int tmp;
  int alpha=-1000;
  int beta=1000;
  if (depth != 0) {
    GameState gs=new GameState();
    gs.generatePosibleMoves();
    GameState betterMove=null;
    Iterator<GameState> iterator=gs.iterator();
    while (iterator.hasNext()) {
      GameState tryMove=iterator.next();
      tmp=calcMinMax(tryMove,depth - 1,alpha,beta);
      if (alpha < tmp) {
        alpha=tmp;
        betterMove=tryMove;
      }
    }
  }
}

Fixed version (ground truth):
/** 
 * if depth == 0 then AI makes random moves
 * @param depth
 */
public void AI(int depth){
  int tmp;
  int alpha=-1000;
  int beta=1000;
  int which=-1;
  List<GameState> betterMove=new LinkedList<GameState>();
  if (depth != 0) {
    GameState gs=new GameState();
    gs.generatePosibleMoves();
    Iterator<GameState> iterator=gs.iterator();
    while (iterator.hasNext()) {
      GameState tryMove=iterator.next();
      tmp=calcMinMax(tryMove,depth - 1,alpha,beta,which);
      if (alpha == tmp) {
        betterMove.add(tryMove);
      }
 else       if (alpha < tmp) {
        alpha=tmp;
        betterMove=new LinkedList<GameState>();
        betterMove.add(tryMove);
      }
    }
    choose(betterMove).move.makeMove();
  }
}
Program: 25038
Project: 25038
Buggy source:
private int calcMinMax(GameState gs,int depth,int alpha,int beta,int which){
  int tmp;
  if (depth == 0 || gs.state.gameFinished()) {
    EvaluateGame.evaluate(gs);
    return gs.score;
  }
  gs.generatePosibleMoves();
  GameState betterMove=null;
  Iterator<GameState> iterator=gs.iterator();
  while (iterator.hasNext()) {
    GameState tryMove=iterator.next();
    tmp=calcMinMax(tryMove,depth - 1,alpha,beta,which * -1);
    if (which > 0 && alpha < tmp) {
      alpha=tmp;
    }
    if (which < 0 && beta > tmp) {
      beta=tmp;
    }
  }
  return 0;
}

Fixed version (ground truth):
private int calcMinMax(GameState gs,int depth,int alpha,int beta,int which){
  int tmp;
  if (depth == 0 || gs.state.gameFinished()) {
    EvaluateGame.evaluate(gs);
    return gs.score;
  }
  gs.generatePosibleMoves();
  Iterator<GameState> iterator=gs.iterator();
  while (iterator.hasNext()) {
    GameState tryMove=iterator.next();
    tmp=calcMinMax(tryMove,depth - 1,alpha,beta,which * -1);
    if (which > 0 && alpha < tmp) {
      return tmp;
    }
    if (which < 0 && beta > tmp) {
      return tmp;
    }
  }
  return 0;
}
Program: 25039
Project: 25039
Buggy source:
private boolean onSecondDiagonal(){
  return x + y == Model.LEVELS - 1;
}

Fixed version (ground truth):
private boolean onSecondDiagonal(){
  return x + y == Model.LEVELS - 1 - z;
}
Program: 25040
Project: 25040
Buggy source:
public List<List<Position>> lines(){
  List<List<Position>> lines=new LinkedList<List<Position>>();
  List<Position> line;
  line=new LinkedList<Position>();
  for (int x=0; x < Model.LEVELS - z; x++) {
    line.add(at(x,y,z));
  }
  lines.add(line);
  line=new LinkedList<Position>();
  for (int y=0; y < Model.LEVELS - z; y++) {
    line.add(at(x,y,z));
  }
  lines.add(line);
  if (onFirstDiagonal()) {
    line=new LinkedList<Position>();
    for (int xy=0; xy < Model.LEVELS - z; xy++) {
      if (isValid(xy,xy,z))       line.add(at(xy,xy,z));
    }
    lines.add(line);
  }
  if (onSecondDiagonal()) {
    line=new LinkedList<Position>();
    for (int xy=0; xy < Model.LEVELS - 1 - z; xy++) {
      if (isValid(xy,Model.LEVELS - 1 - z- xy,z))       line.add(at(xy,Model.LEVELS - 1 - z- xy,z));
    }
    lines.add(line);
  }
  return lines;
}

Fixed version (ground truth):
public List<List<Position>> lines(){
  List<List<Position>> lines=new LinkedList<List<Position>>();
  List<Position> line;
  line=new LinkedList<Position>();
  for (int x=0; x < Model.LEVELS - z; x++) {
    line.add(at(x,y,z));
  }
  lines.add(line);
  line=new LinkedList<Position>();
  for (int y=0; y < Model.LEVELS - z; y++) {
    line.add(at(x,y,z));
  }
  lines.add(line);
  if (onFirstDiagonal()) {
    line=new LinkedList<Position>();
    for (int xy=0; xy < Model.LEVELS - z; xy++) {
      if (isValid(xy,xy,z))       line.add(at(xy,xy,z));
    }
    lines.add(line);
  }
  if (onSecondDiagonal()) {
    line=new LinkedList<Position>();
    for (int xy=0; xy < Model.LEVELS - z; xy++) {
      if (isValid(xy,Model.LEVELS_1 - z - xy,z))       line.add(at(xy,Model.LEVELS_1 - z - xy,z));
    }
    lines.add(line);
  }
  return lines;
}
Program: 25041
Project: 25041
Buggy source:
@Override public void simpleInitApp(){
  assetManager.registerLocator(Pylos.rootPath + "String_Node_Str",FileLocator.class);
  rootNode.attachChild(mountableBalls);
  cameraTarget=new CameraTarget(this);
  rootNode.attachChild(cameraTarget.geometry);
  board=new BoardGraphics(this);
  rootNode.attachChild(board.getSpatial());
  lights=new Lights(rootNode);
  initFlyCam();
  initBalls();
  stateManager.attach(new ActionManager());
  stateManager.attach(new LowGraphicsSwitcher());
  Controller.updateView();
}

Fixed version (ground truth):
@Override public void simpleInitApp(){
  assetManager.registerLocator(Pylos.rootPath + "String_Node_Str",FileLocator.class);
  rootNode.attachChild(balls);
  cameraTarget=new CameraTarget(this);
  rootNode.attachChild(cameraTarget.geometry);
  board=new BoardGraphics(this);
  rootNode.attachChild(board.getSpatial());
  lights=new Lights(rootNode);
  initFlyCam();
  initBalls();
  stateManager.attach(new ActionManager());
  stateManager.attach(new LowGraphicsSwitcher());
  Controller.updateView();
}
Program: 25042
Project: 25042
Buggy source:
public void initBalls(){
  for (  Ball ball : Model.board.balls) {
    ball.graphics.create(this);
    rootNode.attachChild(ball.graphics);
  }
  board.drawBalls();
}

Fixed version (ground truth):
public void initBalls(){
  for (  Ball ball : Model.board.balls) {
    ball.graphics.create(this);
    balls.attachChild(ball.graphics);
  }
  board.drawBalls();
}
Program: 25043
Project: 25043
Buggy source:
public void onAction(String action,boolean pressed,float tpf){
  if (action == Quit) {
    view.stop();
  }
 else   if (action == PickBall) {
    if (!pressed && !Model.isWinner()) {
      Collisions collisions=getPickCollisions();
      if (collisions != null && collisions.any())       Controller.placePlayerBall(collisions.getPosition());
    }
  }
 else   if (action == RiseBall) {
    long time=System.currentTimeMillis();
    if (pressed) {
      lastRightClick=time;
    }
 else {
      if (time - lastRightClick < MaxRightClickTime) {
        view.updateMountableBalls();
        Collisions collisions=new Collisions(view,view.mountableBalls);
        if (collisions.any())         Controller.risePlayerBall(Model.board.ballAt(collisions.getPosition()));
      }
    }
  }
}

Fixed version (ground truth):
public void onAction(String action,boolean pressed,float tpf){
  if (action == Quit) {
    view.stop();
  }
 else   if (action == PickBall) {
    if (!pressed && !Model.isWinner()) {
      Collisions collisions=getPickCollisions();
      if (collisions != null && collisions.any())       Controller.placePlayerBall(collisions.getPosition());
    }
  }
 else   if (action == RiseBall) {
    long time=System.currentTimeMillis();
    if (pressed) {
      lastRightClick=time;
    }
 else {
      if (time - lastRightClick < MaxRightClickTime) {
        Collisions collisions=new Collisions(view,view.balls);
        if (collisions.any()) {
          Ball ball=Model.board.ballAt(collisions.getPosition());
          if (ball.onBoard && ball.isMountableByCurrentPlayer()) {
            Controller.risePlayerBall(ball);
          }
        }
      }
    }
  }
}
Program: 25045
Project: 25045
Buggy source:
@Override public void onSink(INKFRequestContext aContext,DatabaseUtil util) throws Exception {
  IHDSNode details=aContext.sourcePrimary(IHDSNode.class);
  System.out.println(details);
  String updateMetaSql="String_Node_Str" + "String_Node_Str" + "String_Node_Str";
  util.issueSourceRequest("String_Node_Str",null,new ArgByValue("String_Node_Str",updateMetaSql),new ArgByValue("String_Node_Str",details.getFirstValue("String_Node_Str")),new ArgByValue("String_Node_Str",aContext.source("String_Node_Str")));
  util.cutGoldenThread("String_Node_Str");
}

Fixed version (ground truth):
@Override public void onSink(INKFRequestContext aContext,DatabaseUtil util) throws Exception {
  IHDSNode details=aContext.sourcePrimary(IHDSNode.class);
  String existsSql="String_Node_Str";
  String updateMetaSql;
  if (util.issueSourceRequest("String_Node_Str",Boolean.class,new ArgByValue("String_Node_Str",existsSql),new ArgByValue("String_Node_Str",aContext.source("String_Node_Str")))) {
    updateMetaSql="String_Node_Str" + "String_Node_Str" + "String_Node_Str";
  }
 else {
    updateMetaSql="String_Node_Str" + "String_Node_Str";
  }
  util.issueSourceRequest("String_Node_Str",null,new ArgByValue("String_Node_Str",updateMetaSql),new ArgByValue("String_Node_Str",details.getFirstValue("String_Node_Str")),new ArgByValue("String_Node_Str",aContext.source("String_Node_Str")));
  util.cutGoldenThread("String_Node_Str");
}
Program: 25046
Project: 25046
Buggy source:
public List<Chanson> getTitres(){
  List<Chanson> data=new LinkedList<Chanson>();
  String allTitresQuery="String_Node_Str";
  Cursor d=myDatabase.rawQuery(allTitresQuery,null);
  if (d.moveToFirst()) {
    while (d.moveToNext()) {
      Chanson c=new Chanson(d.getLong(0),d.getString(1));
      data.add(c);
    }
  }
  return data;
}

Fixed version (ground truth):
public List<Chanson> getTitres(){
  List<Chanson> data=new LinkedList<Chanson>();
  String allTitresQuery="String_Node_Str";
  Cursor d=myDatabase.rawQuery(allTitresQuery,null);
  while (d.moveToNext()) {
    Chanson c=new Chanson(d.getLong(0),d.getString(1));
    data.add(c);
  }
  return data;
}
Program: 25047
Project: 25047
Buggy source:
private void defineParentingNode(){
  this.Node.getParentingRules().clear();
}

Fixed version (ground truth):
private void defineParentingNode(){
  this.node.getParentingRules().clear();
}
Program: 25048
Project: 25048
Buggy source:
private void createNode(){
  this.Node=new ShapeObjectType(this.notationSubsystem.getSyntaxService(),NODE_UID,NODE_NAME);
  this.Node.setDescription(NODE_DESCN);
  this.Node.getDefaultAttributes().setShapeType(PrimitiveShapeType.ELLIPSE);
  this.Node.getDefaultAttributes().setFillColour(new RGB(255,255,255));
  this.Node.getDefaultAttributes().setSize(new Size(50,50));
  this.Node.getDefaultAttributes().setLineColour(new RGB(0,0,0));
  this.Node.getDefaultAttributes().setLineStyle(LineStyle.SOLID);
  this.Node.getDefaultAttributes().setLineWidth(1);
  this.Node.getDefaultAttributes().setUrl("String_Node_Str");
  EnumSet<EditableShapeAttributes> editableAttributes=EnumSet.noneOf(EditableShapeAttributes.class);
  editableAttributes.add(EditableShapeAttributes.FILL_COLOUR);
  editableAttributes.add(EditableShapeAttributes.LINE_STYLE);
  editableAttributes.add(EditableShapeAttributes.LINE_WIDTH);
  editableAttributes.add(EditableShapeAttributes.LINE_COLOUR);
  this.Node.setEditableAttributes(editableAttributes);
}

Fixed version (ground truth):
private void createNode(){
  this.node=new ShapeObjectType(this,NODE_UID,NODE_NAME);
  this.node.setDescription(NODE_DESCN);
  this.node.getDefaultAttributes().setDescription("String_Node_Str");
  this.node.getDefaultAttributes().setDetailedDescription("String_Node_Str");
  this.node.getDefaultAttributes().setName("String_Node_Str");
  this.node.getDefaultAttributes().setShapeType(PrimitiveShapeType.ELLIPSE);
  this.node.getDefaultAttributes().setFillColour(new RGB(255,255,255));
  this.node.getDefaultAttributes().setSize(new Size(50,50));
  this.node.getDefaultAttributes().setLineColour(new RGB(0,0,0));
  this.node.getDefaultAttributes().setLineStyle(LineStyle.SOLID);
  this.node.getDefaultAttributes().setLineWidth(1);
  this.node.getDefaultAttributes().setUrl("String_Node_Str");
  EnumSet<EditableShapeAttributes> editableAttributes=EnumSet.noneOf(EditableShapeAttributes.class);
  editableAttributes.add(EditableShapeAttributes.FILL_COLOUR);
  editableAttributes.add(EditableShapeAttributes.LINE_STYLE);
  editableAttributes.add(EditableShapeAttributes.LINE_WIDTH);
  editableAttributes.add(EditableShapeAttributes.LINE_COLOUR);
  this.node.setEditableAttributes(editableAttributes);
}
Program: 25049
Project: 25049
Buggy source:
public CytoscapeSyntaxService(INotationSubsystem serviceProvider){
  this.notationSubsystem=serviceProvider;
  createRMO();
  createNode();
  defineParentingRMO();
  defineParentingNode();
  createEdge();
  this.shapeSet.put(this.Node.getUniqueId(),this.Node);
  this.linkSet.put(this.Edge.getUniqueId(),this.Edge);
}

Fixed version (ground truth):
public CytoscapeSyntaxService(INotationSubsystem serviceProvider){
  this.notationSubsystem=serviceProvider;
  createRMO();
  createNode();
  defineParentingRMO();
  defineParentingNode();
  createEdge();
  this.shapeSet.put(this.node.getUniqueId(),this.node);
  this.linkSet.put(this.edge.getUniqueId(),this.edge);
}
Program: 25051
Project: 25051
Buggy source:
private void defineParentingRMO(){
  HashSet<IShapeObjectType> set=new HashSet<IShapeObjectType>();
  set.addAll(Arrays.asList(new IShapeObjectType[]{this.Node}));
  for (  IShapeObjectType child : set) {
    this.rmo.getParentingRules().addChild(child);
  }
}

Fixed version (ground truth):
private void defineParentingRMO(){
  HashSet<IShapeObjectType> set=new HashSet<IShapeObjectType>();
  set.addAll(Arrays.asList(new IShapeObjectType[]{this.node}));
  for (  IShapeObjectType child : set) {
    this.rmo.getParentingRules().addChild(child);
  }
}
Program: 25052
Project: 25052
Buggy source:
public LinkObjectType getEdge(){
  return this.Edge;
}

Fixed version (ground truth):
public LinkObjectType getEdge(){
  return this.edge;
}
Program: 25053
Project: 25053
Buggy source:
public ShapeObjectType getNode(){
  return this.Node;
}

Fixed version (ground truth):
public ShapeObjectType getNode(){
  return this.node;
}
Program: 25054
Project: 25054
Buggy source:
@Override public Boolean next(){
  if (wasCounted)   throw new NoSuchElementException();
  return new Boolean(true);
}

Fixed version (ground truth):
@Override public Boolean next(){
  if (wasCounted)   throw new NoSuchElementException();
  wasCounted=true;
  return new Boolean(true);
}
Program: 25055
Project: 25055
Buggy source:
public static void main(String[] args){
  SAXParserFactory factory=SAXParserFactory.newInstance();
  try {
    if (args.length < 2) {
      System.out.println("String_Node_Str");
    }
    XML2CSV driver=new XML2CSV(args[0]);
    SAXParser saxParser=factory.newSAXParser();
    for (int i=1; i < args.length; i++) {
      saxParser.parse(new File(args[i]),driver);
    }
  }
 catch (  Throwable err) {
    err.printStackTrace();
  }
}

Fixed version (ground truth):
public static void main(String[] args){
  SAXParserFactory factory=SAXParserFactory.newInstance();
  try {
    if (args.length < 2) {
      System.out.println("String_Node_Str");
      return;
    }
    XML2CSV driver=new XML2CSV(args[0]);
    SAXParser saxParser=factory.newSAXParser();
    for (int i=1; i < args.length; i++) {
      saxParser.parse(new File(args[i]),driver);
    }
  }
 catch (  Throwable err) {
    err.printStackTrace();
  }
}
Program: 25056
Project: 25056
Buggy source:
public Man(String name,ArrayList<Woman> pref){
  NAME=name;
  PREF=pref;
  isMarried=false;
  _partner=null;
}

Fixed version (ground truth):
public Man(String name,ArrayList<Woman> pref){
  NAME=name;
  PREF=pref;
  _isMarried=false;
  _partner=null;
}
Program: 25057
Project: 25057
Buggy source:
public Woman(String name,ArrayList<Man> pref){
  NAME=name;
  PREF=pref;
  isMarried=false;
  _proposals=new Man[pref.size()];
}

Fixed version (ground truth):
public Woman(String name,ArrayList<Man> pref){
  NAME=name;
  PREF=pref;
  _isMarried=false;
  _proposals=new int[pref.size()];
}
Program: 25058
Project: 25058
Buggy source:
public void onPlayerChat(PlayerChatEvent event){
  Player player=event.getPlayer();
  String[] split=event.getMessage().split("String_Node_Str");
  String x=ChatColor.GREEN + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.GREEN+ "String_Node_Str";
  String y=ChatColor.AQUA + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.AQUA+ "String_Node_Str";
  if (mcConfig.getInstance().isPartyToggled(player.getName())) {
    event.setCancelled(true);
    for (    Player herp : plugin.getServer().getOnlinePlayers()) {
      if (mcUsers.getProfile(herp).inParty()) {
        if (mcm.inSameParty(herp,player)) {
          herp.sendMessage(x + event.getMessage());
        }
      }
    }
    return;
  }
  if (player.isOp() && mcConfig.getInstance().isAdminToggled(player.getName())) {
    event.setCancelled(true);
    for (    Player herp : plugin.getServer().getOnlinePlayers()) {
      if (herp.isOp()) {
        herp.sendMessage(y + event.getMessage());
      }
    }
    return;
  }
  if (player.isOp()) {
    event.setCancelled(true);
    for (    Player derp : plugin.getServer().getOnlinePlayers()) {
      String z=ChatColor.RED + "String_Node_Str" + ChatColor.WHITE+ player.getName()+ ChatColor.RED+ "String_Node_Str"+ ChatColor.WHITE;
      derp.sendMessage(z + event.getMessage());
    }
  }
  event.setCancelled(true);
}

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

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

Fixed version (ground truth):
public boolean inSameParty(Player playera,Player playerb){
  if (mcUsers.getProfile(playera).getParty().equals(mcUsers.getProfile(playerb).getParty())) {
    return true;
  }
 else {
    return false;
  }
}
Program: 25064
Project: 25064
Buggy source:
public void removeDiamond(Player player){
  ItemStack[] inventory=player.getInventory().getContents();
  for (  ItemStack x : inventory) {
    if (x.getTypeId() == 264) {
      if (x.getAmount() == 1) {
        x.setTypeId(0);
        x.setAmount(0);
        player.getInventory().setContents(inventory);
      }
 else {
        x.setAmount(x.getAmount() - 1);
        player.getInventory().setContents(inventory);
      }
    }
  }
}

Fixed version (ground truth):
public void removeDiamond(Player player){
  ItemStack[] inventory=player.getInventory().getContents();
  for (  ItemStack x : inventory) {
    if (x.getTypeId() == 264) {
      if (x.getAmount() == 1) {
        x.setTypeId(0);
        x.setAmount(0);
        player.getInventory().setContents(inventory);
      }
 else {
        x.setAmount(x.getAmount() - 1);
        player.getInventory().setContents(inventory);
      }
      return;
    }
  }
}
Program: 25067
Project: 25067
Buggy source:
public void loadUsers(){
  File theDir=new File(location);
  if (!theDir.exists()) {
    FileWriter writer=null;
    try {
      writer=new FileWriter(location);
      writer.write("String_Node_Str");
      writer.write("String_Node_Str");
    }
 catch (    Exception e) {
      log.log(Level.SEVERE,"String_Node_Str" + location,e);
    }
 finally {
      try {
        if (writer != null) {
          writer.close();
        }
      }
 catch (      IOException e) {
        log.log(Level.SEVERE,"String_Node_Str" + location,e);
      }
    }
  }
 else {
    try {
      load();
    }
 catch (    IOException e) {
      log.log(Level.SEVERE,"String_Node_Str" + location,e);
    }
  }
}

Fixed version (ground truth):
public void loadUsers(){
  File theDir=new File(location);
  if (!theDir.exists()) {
    FileWriter writer=null;
    try {
      writer=new FileWriter(location);
      writer.write("String_Node_Str");
    }
 catch (    Exception e) {
      log.log(Level.SEVERE,"String_Node_Str" + location,e);
    }
 finally {
      try {
        if (writer != null) {
          writer.close();
        }
      }
 catch (      IOException e) {
        log.log(Level.SEVERE,"String_Node_Str" + location,e);
      }
    }
  }
 else {
    try {
      load();
    }
 catch (    IOException e) {
      log.log(Level.SEVERE,"String_Node_Str" + location,e);
    }
  }
}
Program: 25068
Project: 25068
Buggy source:
public boolean load(){
  try {
    FileReader file=new FileReader(location);
    BufferedReader in=new BufferedReader(file);
    String line="String_Node_Str";
    while ((line=in.readLine()) != null) {
      String[] character=line.split("String_Node_Str");
      if (!character[0].equals(playerName)) {
        continue;
      }
      if (character.length > 1)       mining=character[1];
      if (character.length > 2)       myspawn=character[2];
      if (character.length > 3)       party=character[3];
      if (character.length > 4)       gather=character[4];
      if (character.length > 5)       woodcutting=character[5];
      if (character.length > 6)       wgather=character[6];
      if (character.length > 7)       repair=character[7];
      if (character.length > 8)       unarmed=character[8];
      if (character.length > 9)       herbalism=character[9];
      if (character.length > 10)       repair=character[10];
      if (character.length > 11)       excavation=character[11];
      in.close();
      return true;
    }
    in.close();
  }
 catch (  Exception e) {
    log.log(Level.SEVERE,"String_Node_Str" + location + "String_Node_Str",e);
  }
  return false;
}

Fixed version (ground truth):
public boolean load(){
  try {
    FileReader file=new FileReader(location);
    BufferedReader in=new BufferedReader(file);
    String line="String_Node_Str";
    while ((line=in.readLine()) != null) {
      String[] character=line.split("String_Node_Str");
      if (!character[0].equals(playerName)) {
        continue;
      }
      if (character.length > 1)       mining=character[1];
      if (character.length > 2)       myspawn=character[2];
      if (character.length > 3)       party=character[3];
      if (character.length > 4)       gather=character[4];
      if (character.length > 5)       woodcutting=character[5];
      if (character.length > 6)       wgather=character[6];
      if (character.length > 7)       repair=character[7];
      if (character.length > 8)       unarmed=character[8];
      if (character.length > 9)       herbalism=character[9];
      if (character.length > 10)       excavation=character[10];
      in.close();
      return true;
    }
    in.close();
  }
 catch (  Exception e) {
    log.log(Level.SEVERE,"String_Node_Str" + location + "String_Node_Str",e);
  }
  return false;
}
Program: 25070
Project: 25070
Buggy source:
public void onPlayerCommand(PlayerChatEvent event){
  String[] split=event.getMessage().split("String_Node_Str");
  Player player=event.getPlayer();
  if (split[0].equalsIgnoreCase("String_Node_Str") || split[0].equalsIgnoreCase("String_Node_Str")) {
    event.setCancelled(true);
    String tempList="String_Node_Str";
    int x=0;
    for (    Player p : plugin.getServer().getOnlinePlayers()) {
      if (p != null && x < playerCount()) {
        tempList+=p.getName() + "String_Node_Str";
        x++;
      }
      if (x >= playerCount())       tempList+=p.getName();
    }
    player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.WHITE+ tempList+ ChatColor.RED+ "String_Node_Str");
    player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.GREEN+ playerCount());
  }
}

Fixed version (ground truth):
public void onPlayerCommand(PlayerChatEvent event){
  String[] split=event.getMessage().split("String_Node_Str");
  Player player=event.getPlayer();
  if (split[0].equalsIgnoreCase("String_Node_Str") || split[0].equalsIgnoreCase("String_Node_Str")) {
    event.setCancelled(true);
    String tempList="String_Node_Str";
    int x=0;
    for (    Player p : plugin.getServer().getOnlinePlayers()) {
      if (p != null && x + 1 == playerCount()) {
        tempList+=p.getName();
        x++;
      }
      if (p != null && x < playerCount()) {
        tempList+=p.getName() + "String_Node_Str";
        x++;
      }
    }
    player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.WHITE+ tempList+ ChatColor.RED+ "String_Node_Str");
    player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.GREEN+ playerCount());
  }
}
Program: 25071
Project: 25071
Buggy source:
public boolean onConsoleCommand(String[] split){
  String server=Colors.LightGreen + "String_Node_Str" + Colors.DarkPurple;
  if (split[0].equalsIgnoreCase("String_Node_Str")) {
    if (split.length > 1) {
      String args="String_Node_Str" + etc.combineSplit(1,split,"String_Node_Str");
      vChat.gmsg(server + "String_Node_Str" + args);
      log.log(Level.INFO,"String_Node_Str" + args);
      return true;
    }
    return false;
  }
  if (split[0].equalsIgnoreCase("String_Node_Str"))   vChat.gmsg(server + "String_Node_Str");
  log.log(Level.INFO,"String_Node_Str" + "String_Node_Str");
  return false;
}

Fixed version (ground truth):
public boolean onConsoleCommand(String[] split){
  String server=Colors.LightGreen + "String_Node_Str" + Colors.DarkPurple;
  if (split[0].equalsIgnoreCase("String_Node_Str")) {
    if (split.length > 1) {
      String args="String_Node_Str" + etc.combineSplit(1,split,"String_Node_Str");
      vChat.gmsg(server + "String_Node_Str" + args);
      log.log(Level.INFO,"String_Node_Str" + args);
      return true;
    }
    return false;
  }
  if (split[0].equalsIgnoreCase("String_Node_Str")) {
    vChat.gmsg(server + "String_Node_Str");
    log.log(Level.INFO,"String_Node_Str" + "String_Node_Str");
  }
  return false;
}
Program: 25072
Project: 25072
Buggy source:
public void onEntityDamageByEntity(EntityDamageByEntityEvent event){
  Entity x=event.getEntity();
  Entity y=event.getDamager();
  if (y instanceof Player) {
    Player attacker=(Player)y;
    if (x instanceof Player) {
      Player defender=(Player)x;
      if (mcUsers.getProfile(defender).getParty().equals(mcUsers.getProfile(attacker).getParty())) {
        event.setCancelled(true);
      }
      if (mcUsers.getProfile(defender).isDead())       return;
      if ((defender.getHealth() - event.getDamage()) <= 0) {
        for (        Player derp : plugin.getServer().getOnlinePlayers()) {
          derp.sendMessage(ChatColor.GRAY + attacker.getName() + "String_Node_Str"+ ChatColor.DARK_RED+ "String_Node_Str"+ ChatColor.GRAY+ defender.getName());
          mcUsers.getProfile(defender).setDead(true);
        }
      }
    }
  }
}

Fixed version (ground truth):
public void onEntityDamageByEntity(EntityDamageByEntityEvent event){
  Entity x=event.getEntity();
  Entity y=event.getDamager();
  if (y instanceof Player) {
    Player attacker=(Player)y;
    if (x instanceof Player) {
      Player defender=(Player)x;
      if (mcUsers.getProfile(defender).inParty() && mcUsers.getProfile(defender).getParty().equals(mcUsers.getProfile(attacker).getParty()))       event.setCancelled(true);
      if (mcUsers.getProfile(defender).isDead())       return;
      if ((defender.getHealth() - event.getDamage()) <= 0) {
        for (        Player derp : plugin.getServer().getOnlinePlayers()) {
          derp.sendMessage(ChatColor.GRAY + attacker.getName() + "String_Node_Str"+ ChatColor.DARK_RED+ "String_Node_Str"+ ChatColor.GRAY+ defender.getName());
          mcUsers.getProfile(defender).setDead(true);
        }
      }
    }
  }
}
Program: 25074
Project: 25074
Buggy source:
public void onEnable(){
  mcUsers.getInstance().loadUsers();
  PluginManager pm=getServer().getPluginManager();
  pm.registerEvent(Event.Type.PLAYER_JOIN,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_DROP_ITEM,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_QUIT,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_COMMAND,playerListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.BLOCK_DAMAGED,blockListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.PLAYER_CHAT,playerListener,Priority.Monitor,this);
  pm.registerEvent(Event.Type.ENTITY_DAMAGEDBY_ENTITY,entityListener,Priority.Normal,this);
  pm.registerEvent(Event.Type.ENTITY_DEATH,entityListener,Priority.Normal,this);
  PluginDescriptionFile pdfFile=this.getDescription();
  System.out.println(pdfFile.getName() + "String_Node_Str" + pdfFile.getVersion()+ "String_Node_Str");
}

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

Fixed version (ground truth):
public void onPlayerJoin(PlayerEvent event){
  Player player=event.getPlayer();
  mcUsers.addUser(player);
  player.sendMessage(ChatColor.DARK_RED + "String_Node_Str");
  player.sendMessage(ChatColor.DARK_RED + "String_Node_Str");
  player.sendMessage(ChatColor.AQUA + "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage(ChatColor.GREEN + "String_Node_Str" + ChatColor.YELLOW+ "String_Node_Str"+ ChatColor.GREEN+ "String_Node_Str");
  player.sendMessage("String_Node_Str" + ChatColor.YELLOW + "String_Node_Str"+ ChatColor.WHITE+ "String_Node_Str");
  player.sendMessage(ChatColor.RED + "String_Node_Str" + ChatColor.DARK_GRAY+ "String_Node_Str");
}
Program: 25078
Project: 25078
Buggy source:
public void onEntityDamage(EntityDamageEvent event){
  Entity x=event.getEntity();
  if (x instanceof Player) {
    Player player=(Player)x;
    if ((player.getHealth() - event.getDamage()) <= 0) {
      Location deathLoc=player.getLocation();
      ItemStack[] items=player.getInventory().getContents();
      for (int i=0; i < items.length; i++) {
        ItemStack is=items[i];
        if (is != null && is.getAmount() > 0) {
          player.getWorld().dropItemNaturally(deathLoc,is);
        }
      }
      player.setHealth(20);
      player.teleportTo(mcUsers.getProfile(player).getMySpawn(player));
      for (      Player derp : plugin.getServer().getOnlinePlayers()) {
        derp.sendMessage(ChatColor.GRAY + player.getName() + "String_Node_Str");
      }
    }
  }
}

Fixed version (ground truth):
public void onEntityDamage(EntityDamageEvent event){
  Entity x=event.getEntity();
  if (x instanceof Player) {
    Player player=(Player)x;
    if (mcUsers.getProfile(player).isDead()) {
      mcUsers.getProfile(player).setDead(false);
      return;
    }
    if ((player.getHealth() - event.getDamage()) <= 0) {
      Location deathLoc=player.getLocation();
      ItemStack[] items=player.getInventory().getContents();
      for (int i=0; i < items.length; i++) {
        ItemStack is=items[i];
        if (is != null && is.getAmount() > 0) {
          player.getWorld().dropItemNaturally(deathLoc,is);
        }
      }
      player.setHealth(20);
      player.teleportTo(mcUsers.getProfile(player).getMySpawn(player));
      for (      Player derp : plugin.getServer().getOnlinePlayers()) {
        derp.sendMessage(ChatColor.GRAY + player.getName() + "String_Node_Str");
      }
    }
  }
}
Program: 25079
Project: 25079
Buggy source:
public void onEntityDamageByEntity(EntityDamageByEntityEvent event){
  Entity x=event.getEntity();
  Entity y=event.getDamager();
  if (y instanceof Player) {
    Player attacker=(Player)y;
    if (x instanceof Player) {
      Player defender=(Player)x;
      if (mcUsers.getProfile(defender).getParty().equals(mcUsers.getProfile(attacker).getParty())) {
        event.setCancelled(true);
      }
      if ((defender.getHealth() - event.getDamage()) <= 0) {
        for (        Player derp : plugin.getServer().getOnlinePlayers()) {
          derp.sendMessage(ChatColor.GRAY + attacker.getName() + "String_Node_Str"+ ChatColor.DARK_RED+ "String_Node_Str"+ ChatColor.GRAY+ defender.getName());
          mcUsers.getProfile(defender).setDead(true);
        }
      }
    }
  }
}

Fixed version (ground truth):
public void onEntityDamageByEntity(EntityDamageByEntityEvent event){
  Entity x=event.getEntity();
  Entity y=event.getDamager();
  if (y instanceof Player) {
    Player attacker=(Player)y;
    if (x instanceof Player) {
      Player defender=(Player)x;
      if (mcUsers.getProfile(defender).getParty().equals(mcUsers.getProfile(attacker).getParty())) {
        event.setCancelled(true);
      }
      if (mcUsers.getProfile(defender).isDead())       return;
      if ((defender.getHealth() - event.getDamage()) <= 0) {
        for (        Player derp : plugin.getServer().getOnlinePlayers()) {
          derp.sendMessage(ChatColor.GRAY + attacker.getName() + "String_Node_Str"+ ChatColor.DARK_RED+ "String_Node_Str"+ ChatColor.GRAY+ defender.getName());
          mcUsers.getProfile(defender).setDead(true);
        }
      }
    }
  }
}
Program: 25081
Project: 25081
Buggy source:
public String getGroupPrefix(Player player){
  String groups[]=player.getGroups();
  String groupline[]=null;
  String prefix=Colors.White;
  if (vConfig.getInstance().groupcoloredbrackets()) {
    properties=new PropertiesFile(location);
    try {
      properties.load();
    }
 catch (    IOException e) {
      log.log(Level.SEVERE,"String_Node_Str" + location,e);
    }
    if (!groups[0].isEmpty())     groupline=properties.getString(groups[0]).split("String_Node_Str");
    if (groupline[0] != null) {
      prefix=groupline[0];
      prefix=vChat.colorChange(prefix.charAt(0));
    }
  }
  return prefix;
}

Fixed version (ground truth):
public String getGroupPrefix(Player player){
  String groups[]=player.getGroups();
  String groupline[]=null;
  String prefix=Colors.White;
  if (vConfig.getInstance().groupcoloredbrackets() && groups[0].toString().length() > 0) {
    properties=new PropertiesFile(location);
    try {
      properties.load();
    }
 catch (    IOException e) {
      log.log(Level.SEVERE,"String_Node_Str" + location,e);
    }
    groupline=properties.getString(groups[0]).split("String_Node_Str");
    if (!groupline[0].isEmpty()) {
      prefix=groupline[0];
      prefix=vChat.colorChange(prefix.charAt(0));
    }
  }
  return prefix;
}
Program: 25082
Project: 25082
Buggy source:
public static int tphere(Player player,String[] args){
  if (!player.canUseCommand("String_Node_Str"))   return EXIT_FAIL;
  if (!vMinecraftSettings.getInstance().cmdTphere())   return EXIT_FAIL;
  if (args.length < 1) {
    player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
    return EXIT_SUCCESS;
  }
  Player playerTarget=etc.getServer().matchPlayer(args[0]);
  if (playerTarget == null)   player.sendMessage(Colors.Rose + "String_Node_Str" + args[0]+ "String_Node_Str");
 else   if (!player.hasControlOver(playerTarget))   player.sendMessage(Colors.Red + "String_Node_Str" + "String_Node_Str");
 else   if (player.getName().equalsIgnoreCase(args[0]))   player.sendMessage(Colors.Rose + "String_Node_Str" + "String_Node_Str");
 else {
    log.log(Level.INFO,player.getName() + "String_Node_Str" + player.getName()+ "String_Node_Str");
    playerTarget.teleportTo(player);
    double x=player.getLocation().x;
    double y=player.getLocation().y;
    double z=player.getLocation().z;
    String x2=Double.toString(x);
    String y2=Double.toString(y);
    String z2=Double.toString(z);
    String xyz=x2 + "String_Node_Str" + y2+ "String_Node_Str"+ z2;
    vMinecraftUsers.getProfile(playerTarget).setTpback(xyz);
    if (playerTarget.canUseCommand("String_Node_Str")) {
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
      player.sendMessage(Colors.DarkPurple + "String_Node_Str");
    }
  }
  return EXIT_SUCCESS;
}

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

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