Program: 12288
Project: 12288
Buggy source:
@Override public final boolean incrementToken() throws IOException {
  if (first) {
    loadAll();
    restartAtBeginning();
    first=false;
  }
  if (sentences.length == 0) {
    first=true;
    return false;
  }
  int sentenceOffset=sentences[indexSentence].getStart();
  if (wordSet == null) {
    wordSet=words[indexSentence];
  }
  clearAttributes();
  while (indexSentence < sentences.length) {
    while (indexWord == wordSet.length) {
      indexSentence++;
      if (indexSentence < sentences.length) {
        wordSet=words[indexSentence];
        indexWord=0;
        sentenceOffset=sentences[indexSentence].getStart();
      }
 else {
        first=true;
        return false;
      }
    }
    Span sentence=sentences[indexSentence];
    Span word=wordSet[indexWord];
    int spot=sentence.getStart() + word.getStart();
    termAtt.setEmpty();
    int termLength=word.getEnd() - word.getStart();
    if (termAtt.buffer().length < termLength) {
      termAtt.resizeBuffer(termLength);
    }
    termAtt.setLength(termLength);
    char[] buffer=termAtt.buffer();
    finalOffset=correctOffset(sentenceOffset + word.getEnd());
    int start=correctOffset(word.getStart() + sentenceOffset);
    if (finalOffset - start > termLength) {
      offsetAtt.setOffset(start,sentenceOffset + word.getEnd());
      LOG.warn("String_Node_Str" + "String_Node_Str" + start + "String_Node_Str"+ finalOffset+ "String_Node_Str"+ termLength+ "String_Node_Str");
    }
 else     offsetAtt.setOffset(start,finalOffset);
    for (int i=0; i < termLength; i++) {
      buffer[i]=fullText[spot + i];
    }
    addSentenceContext(sentenceContextAtt,indexWord,indexWord,null,indexSentence);
    indexWord++;
    return true;
  }
  first=true;
  return false;
}

Fixed version (ground truth):
@Override public final boolean incrementToken() throws IOException {
  if (first) {
    loadAll();
    restartAtBeginning();
    first=false;
  }
  if (sentences.length == 0) {
    first=true;
    return false;
  }
  int sentenceOffset=sentences[indexSentence].getStart();
  if (wordSet == null) {
    wordSet=words[indexSentence];
  }
  clearAttributes();
  while (indexSentence < sentences.length) {
    while (indexWord == wordSet.length) {
      indexSentence++;
      if (indexSentence < sentences.length) {
        wordSet=words[indexSentence];
        indexWord=0;
        sentenceOffset=sentences[indexSentence].getStart();
      }
 else {
        first=true;
        return false;
      }
    }
    Span sentence=sentences[indexSentence];
    Span word=wordSet[indexWord];
    int spot=sentence.getStart() + word.getStart();
    termAtt.setEmpty();
    int termLength=word.getEnd() - word.getStart();
    if (termAtt.buffer().length < termLength) {
      termAtt.resizeBuffer(termLength);
    }
    termAtt.setLength(termLength);
    char[] buffer=termAtt.buffer();
    finalOffset=correctOffset(sentenceOffset + word.getEnd());
    int start=correctOffset(word.getStart() + sentenceOffset);
    if (finalOffset - start > termLength) {
      offsetAtt.setOffset(start,start + termLength);
      LOG.warn("String_Node_Str" + "String_Node_Str" + start + "String_Node_Str"+ finalOffset+ "String_Node_Str"+ termLength+ "String_Node_Str");
    }
 else     offsetAtt.setOffset(start,finalOffset);
    for (int i=0; i < termLength; i++) {
      buffer[i]=fullText[spot + i];
    }
    addSentenceContext(sentenceContextAtt,indexWord,indexWord,null,indexSentence);
    indexWord++;
    return true;
  }
  first=true;
  return false;
}