jodd-servlet/src/main/java/jodd/servlet/filter/GzipResponseStream.java
public void writeToGZip(final byte[] b, final int off, final int len) throws IOException {
		if (gzipstream == null) {
			gzipstream = new GZIPOutputStream(output);
			response.setHeader("Content-Encoding", "gzip");
		}
		gzipstream.write(b, off, len);

	}
public void writeToGZip(final byte[] b, final int off, final int len) throws IOException {
		if (gzipstream == null) {
			gzipstream = new GZIPOutputStream(output);
			response.setHeader("Content-Encoding", "gzip");
		}
		gzipstream.write(b, off, len);

	}
Writes byte array to gzip output stream. Creates new <code>GZIPOutputStream</code>
if not created yet. Also sets the "Content-Encoding" header.