sclass GZIPOutputStreamWithLevel extends GZIPOutputStream {
  *(OutputStream out) throws IOException {
    super(out);
  } 

  // set compression level
  public void setLevel(int level) {
    def.setLevel(level);
  }
}