java web实现Gzip压缩传输(转)