code: public int read(byte[] buffer, int pos, int bytes) throws IOException {
          return randomFile.read(buffer, pos, bytes);
      }
docs: Read bytes into an array.
  @param buffer    The buffer to read bytes into
  @param pos   The start position in the buffer
  @param bytes The number of bytes to read
  @return bytes read
  @throws IOException on IO error
  @see java.io.InputStream#read(byte[], int, int)