Sets the current stream position to the desired location. The next read will occur at this location. The bit offset is set to 0.
An IndexOutOfBoundsException will be thrown if pos is smaller than the flushed position (as returned by getflushedPosition).
It is legal to seek past the end of the file; an java.io.EOFException will be thrown only if a read is performed.
@param pos a long containing the desired filepointer position.
@exception IndexOutOfBoundsException if pos is smallerthan the flushed position.
@exception IOException if any other I/O error occurs.