docs: public void dump(PrintStream output) {
          TreeSet<String> keys = new TreeSet<String>(keySet());
          for (String key : keys) {
              output.println(key + ":" + get(key));
          }
      }