J2EE GZIP Servlet Filter