code: public void seekSet(long offset) throws IOException {
          if (offset >= fsize || offset < 0) {
              throw new java.io.EOFException("Reached EOF, file size=" + fsize
                                             + " offset=" + offset);
          }
          current = (int)offset;
      }
docs: Set current file position to offset
  
  @param offset The new offset to set
  @throws IOException In case of an I/O problem