GZipFileOutputStream: the compression level 9 is used by default.