docs: public void setFile(File file) throws IOException {
          if(!file.isFile())
              throw new IllegalArgumentException(file+" must be a file.");
          else {
              if(file.getName().endsWith("gz"))
                  initGzReader(file);
              else
                  initReader(file);
          }
      }