docs: public String dump(final boolean printDateTime, final boolean includeNamespacePrefix) {
      final StringWriter sOut = new StringWriter();
      final PrintWriter out = new PrintWriter(sOut);
  
      if (printDateTime) {
        // output a timestamp comment
        final SimpleDateFormat timeFormat = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
        out.format("#%s\n", timeFormat.format(new Date()));
      }
      List<String> keys = new ArrayList<>(params.keySet());
      Collections.sort(keys);
      for (final String rawKey : keys) {
        final String key;
        if (includeNamespacePrefix) {
          key = fullString(rawKey);
        } else {
          key = rawKey;
        }
        out.format("%s: %s\n", key, params.get(rawKey));
      }
  
      out.close();
      return sOut.toString();
    }