I could not find a way to get the compression level of a given incoming gzip-compressed data stream. Perhaps I missed something? ``` java io = new GzipInputStream(my data); io.readHeader(); io.????; // how to query the stream for compression level? ```
I could not find a way to get the compression level of a given incoming gzip-compressed data stream. Perhaps I missed something?