public long getDecompressedBytesRead() throws IOException { return dumpReader.getDecompressedBytesRead(); }