filepos = start; end = start + len; }
buffer = new byte[bufferSize]; bufferOffset = -buffer.length; pos = buffer.length; end = raf.length(); }
    public PartialInputStream(RandomAccessFile raf, long start, long len)    {			this.raf = raf;			filepos = start;			end = start + len;		}