code: public static void quote(StringBuilder buf, String str) {
          buf.append('"');
          escape(buf, str);
          buf.append('"');
      }
docs: Simple quote of a string, escaping where needed.
  
  @param buf the StringBuilder to append to
  @param str the string to quote