static BufferedReader rawByteReader_possiblyGZipped(File f) { ret isGZipFile(f) ? rawByteReader(gzipInputStream(f)) : rawByteReader(f); }