A simple gzip utility for Java