return new InflaterInputStream(_path.openRead(), new Inflater());
try { return new GZIPInputStream(_path.openRead()); } catch(IOException e) {  return _path.openRead(); }
  InputStream readgzfile()    throws IOException, DataFormatException  {    return new InflaterInputStream(_path.openRead(), new Inflater());  }