Minor Description
GZIPOutputStream.flush() doesn't flush.
Note that the same is true for ZipOutputStream and DeflaterOutputStream, but the API precludes us from getting those to work normally. The underlying problem is that some ZIP readers such as WinZip crash when reading ZIP files encoded with Z_SYNC_FLUSH blocks.