docs: @Override
      public void writeXML(String fileName) throws IOException {
          OutputStream out = new FileOutputStream(fileName);
          if (fileName.endsWith(".gz")) {
              out = new GZIPOutputStream(out);
          }
          writeXML(out);
      }