class RandomAccessFileInputStream extends InputStream {

  @Override
  public void close() throws IOException {
    raf.close();
  }

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

}