Program: 55859
Project: 55859
Buggy source:
/** 
 * Reads data from the given byte channel and deserializes an object of type <code>T</code> from it.
 * @param readableByteChannel the byte channel to read data from
 * @return an object of type <code>T</code>
 * @throws IOException thrown if an error occurs while reading the data or deserializing the object
 */
public T readData(final ReadableByteChannel readableByteChannel) throws IOException {
  if (this.recordLength < 0) {
    if (readableByteChannel.read(this.lengthBuf) == -1 && this.propagateEndOfStream) {
      if (this.lengthBuf.position() == 0) {
        throw new EOFException();
      }
 else {
        throw new IOException("String_Node_Str" + this.lengthBuf.remaining() + "String_Node_Str");
      }
    }
    if (this.lengthBuf.hasRemaining()) {
      return null;
    }
    this.recordLength=byteArrayToInt(this.lengthBuf.array());
    if (this.tempBuffer == null) {
      this.tempBuffer=ByteBuffer.allocate(this.recordLength);
    }
    if (this.tempBuffer.capacity() < this.recordLength) {
      this.tempBuffer=ByteBuffer.allocate(this.recordLength);
    }
    this.tempBuffer.position(0);
    this.tempBuffer.limit(this.recordLength);
  }
  if (readableByteChannel.read(tempBuffer) == -1 && this.propagateEndOfStream) {
    throw new IOException("String_Node_Str" + this.tempBuffer.remaining() + "String_Node_Str");
  }
  if (this.tempBuffer.hasRemaining()) {
    return null;
  }
  this.deserializationBuffer.reset(this.tempBuffer.array(),this.recordLength);
  final T record=deserializer.deserialize(this.deserializationBuffer);
  this.recordLength=-1;
  this.lengthBuf.clear();
  return record;
}

Fixed version (ground truth):
/** 
 * Reads data from the given byte channel and deserializes an object of type <code>T</code> from it.
 * @param readableByteChannel the byte channel to read data from
 * @return an object of type <code>T</code>
 * @throws IOException thrown if an error occurs while reading the data or deserializing the object
 */
public T readData(final ReadableByteChannel readableByteChannel) throws IOException {
  if (this.recordLength < 0) {
    if (readableByteChannel.read(this.lengthBuf) == -1 && this.propagateEndOfStream) {
      if (this.lengthBuf.position() == 0) {
        throw new EOFException();
      }
 else {
        throw new IOException("String_Node_Str" + this.lengthBuf.remaining() + "String_Node_Str");
      }
    }
    if (this.lengthBuf.hasRemaining()) {
      return null;
    }
    this.recordLength=byteArrayToInt(this.lengthBuf.array());
    if (this.tempBuffer == null) {
      this.tempBuffer=ByteBuffer.allocate(this.recordLength);
    }
    if (this.tempBuffer.capacity() < this.recordLength) {
      this.tempBuffer=ByteBuffer.allocate(this.recordLength);
    }
    this.tempBuffer.position(0);
    this.tempBuffer.limit(this.recordLength);
  }
  long read=readableByteChannel.read(this.tempBuffer);
  if (read == -1 && this.propagateEndOfStream) {
    throw new IOException("String_Node_Str" + this.tempBuffer.remaining() + "String_Node_Str");
  }
  if (read == -1) {
    System.out.println("String_Node_Str");
    while (read == -1 && !this.propagateEndOfStream) {
      read=readableByteChannel.read(this.tempBuffer);
      try {
        Thread.sleep(20000);
      }
 catch (      InterruptedException e) {
        e.printStackTrace();
        break;
      }
    }
  }
  if (this.tempBuffer.hasRemaining()) {
    return null;
  }
  this.deserializationBuffer.reset(this.tempBuffer.array(),this.recordLength);
  final T record=this.deserializer.deserialize(this.deserializationBuffer);
  this.recordLength=-1;
  this.lengthBuf.clear();
  return record;
}