docs: private OutputStream openFile(File file) throws BindException
    {
      try
      {
        return new GZIPOutputStream(new FileOutputStream(file));
      }
      catch (IOException ex)
      {
        throw new BindException(
            String.format("Failed to create output file %s: %s", file.toString(), ex.getMessage()), BindException.Type.SERIALIZATION);
      }
    }