docs: public static void dumpConfiguration(Configuration config,
  	                                     Writer out) throws IOException {
  		JsonFactory dumpFactory = new JsonFactory();
  		JsonGenerator dumpGenerator = dumpFactory.createGenerator(out);
  		dumpGenerator.writeStartObject();
  		dumpGenerator.writeFieldName("properties");
  		dumpGenerator.writeStartArray();
  		dumpGenerator.flush();
  		ConfigRedactor redactor = new ConfigRedactor(config);
  		synchronized (config) {
  			for (Map.Entry<Object,Object> item: config.getProps().entrySet()) {
  				appendJSONProperty(dumpGenerator, config, item.getKey().toString(),
  						redactor);
  			}
  		}
  		dumpGenerator.writeEndArray();
  		dumpGenerator.writeEndObject();
  		dumpGenerator.flush();
  	}