class RandomAccessFileInputStream extends InputStream {

  public long length() {
    return fileLength;
  }

  public  RandomAccessFileInputStream(File file);
  public  RandomAccessFileInputStream(File file, long rangeOffset, long rangeLength);

}