Program: 82391
Project: 82391
Buggy source:
private void doItInternal(Blur.Iface client,String[] args,PagingPrintWriter out) throws FinishedException, BlurException, TException {
  String tablename=args[1];
  String queryStr="String_Node_Str";
  for (int i=2; i < args.length; i++) {
    queryStr+=args[i] + "String_Node_Str";
  }
  BlurQuery blurQuery=new BlurQuery();
  Query query=new Query();
  query.setQuery(queryStr);
  blurQuery.setQuery(query);
  blurQuery.setSelector(Main.selector);
  blurQuery.setCacheResult(false);
  blurQuery.setUseCacheIfPresent(false);
  if (Main.highlight) {
    blurQuery.getSelector().setHighlightOptions(new HighlightOptions());
  }
  if (Main.debug) {
    out.println(blurQuery);
  }
  int maxWidth=100;
  ConsoleReader reader=getConsoleReader();
  if (reader != null) {
    Terminal terminal=reader.getTerminal();
    maxWidth=terminal.getWidth() - 15;
    out.setLineLimit(terminal.getHeight() - 2);
  }
  long s=System.nanoTime();
  BlurResults blurResults=client.query(tablename,blurQuery);
  long e=System.nanoTime();
  long timeInNanos=e - s;
  printSummary(out,blurResults,maxWidth,timeInNanos);
  lineBreak(out,maxWidth);
  int hit=0;
  for (  BlurResult result : blurResults.getResults()) {
    double score=result.getScore();
    out.println("String_Node_Str" + hit);
    out.println("String_Node_Str" + score);
    if (Main.debug) {
      String locationId=result.getLocationId();
      out.println("String_Node_Str" + locationId);
    }
    FetchResult fetchResult=result.getFetchResult();
    if (Main.debug) {
      out.println("String_Node_Str" + fetchResult.isDeleted());
      out.println("String_Node_Str" + fetchResult.isExists());
      out.println("String_Node_Str" + fetchResult.getTable());
    }
    FetchRowResult rowResult=fetchResult.getRowResult();
    if (rowResult != null) {
      Row row=rowResult.getRow();
      if (row != null) {
        GetRowCommand.format(out,row,maxWidth);
      }
    }
    lineBreak(out,maxWidth);
    hit++;
  }
  printSummary(out,blurResults,maxWidth,timeInNanos);
}

Fixed version (ground truth):
private void doItInternal(Blur.Iface client,String[] args,PagingPrintWriter out) throws FinishedException, BlurException, TException {
  String tablename=args[1];
  String queryStr="String_Node_Str";
  for (int i=2; i < args.length; i++) {
    queryStr+=args[i] + "String_Node_Str";
  }
  BlurQuery blurQuery=new BlurQuery();
  Query query=new Query();
  query.setQuery(queryStr);
  blurQuery.setQuery(query);
  blurQuery.setSelector(new Selector(Main.selector));
  blurQuery.setCacheResult(false);
  blurQuery.setUseCacheIfPresent(false);
  if (Main.highlight) {
    blurQuery.getSelector().setHighlightOptions(new HighlightOptions());
  }
  if (Main.debug) {
    out.println(blurQuery);
  }
  int maxWidth=100;
  ConsoleReader reader=getConsoleReader();
  if (reader != null) {
    Terminal terminal=reader.getTerminal();
    maxWidth=terminal.getWidth() - 15;
    out.setLineLimit(terminal.getHeight() - 2);
  }
  long s=System.nanoTime();
  BlurResults blurResults=client.query(tablename,blurQuery);
  long e=System.nanoTime();
  long timeInNanos=e - s;
  printSummary(out,blurResults,maxWidth,timeInNanos);
  lineBreak(out,maxWidth);
  int hit=0;
  for (  BlurResult result : blurResults.getResults()) {
    double score=result.getScore();
    out.println("String_Node_Str" + hit);
    out.println("String_Node_Str" + score);
    if (Main.debug) {
      String locationId=result.getLocationId();
      out.println("String_Node_Str" + locationId);
    }
    FetchResult fetchResult=result.getFetchResult();
    if (Main.debug) {
      out.println("String_Node_Str" + fetchResult.isDeleted());
      out.println("String_Node_Str" + fetchResult.isExists());
      out.println("String_Node_Str" + fetchResult.getTable());
    }
    FetchRowResult rowResult=fetchResult.getRowResult();
    if (rowResult != null) {
      Row row=rowResult.getRow();
      if (row != null) {
        GetRowCommand.format(out,row,maxWidth);
      }
    }
    lineBreak(out,maxWidth);
    hit++;
  }
  printSummary(out,blurResults,maxWidth,timeInNanos);
}