public void fileSizeMayChanged(int bufferDataEndPos) {
    if (bufferDataEndPos > myBufferDataEndPos) {
      myBufferDataEndPos = bufferDataEndPos;
      //RC: i'd say it is not 'cachedSizeAtLeast' but 'ensureCachedPositionAtLeast',
      //    because (myPosition + myBufferDataEndPos) => position of last occupied
      //    byte in buffer, not 'size', which is position of last occupied byte +1
      myFile.ensureCachedSizeAtLeast(myPosition + myBufferDataEndPos);
    }
  }
public void fileSizeMayChanged(int bufferDataEndPos)