code: 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();
    }
docs: Dumps the parameters object as colon-separated key-value pairs. If {@code printDateTime} is
  true, will put a #-style comment with the current date and time at the top. If
  includeNamespacePrefix is true, will prefix its parameter with its full namespace instead of
  writing all keys relative to the current namespace.