docs: private static void quoteList(final Collection<String> coll, final StringBuilder buf) {
          buf.append('[');
          boolean first = true;
          for (final String item : coll) {
              if (first) {
                  first = false;
              } else {
                  buf.append(", ");
              }
              buf.append('"');
              for (int i = 0; i < item.length(); i++) {
                  final char c = item.charAt(i);
                  if (c == '"') {
                      buf.append("\\\"");
                  } else {
                      buf.append(c);
                  }
              }
              buf.append('"');
          }
          buf.append(']');
      }