in the normal GZIPOutputStream you can not et the compression level. I came across this little script tonight that allows you to set the compression level for GZIPOutputStream.

Move a file quickly in java.

Deletes all files of a certain extention from a folder.

Use this utility to grab lines from a file. Arguments are the input file, starting ling number and ending line number.

Open a File For Input

Customizable recursive directory scanner.

Get a FileSize

This function simply splits a file based on the splitter supplied and returns an array with the values. It's pretty much like the file() function. This script could be helpful in section editings.