code: public static StringBuilder quotedString(String s) {
          final EscapeStringResult escapeString = escapeString(s, '\"');
          final StringBuilder result = escapeString.buffer;
  
          result.insert(0, '\"');
          result.append('\"');
          return result;
      }
docs: Create a quoted string configuration element.
  @param s a string.
  @return the string, between quotes, escaped such that the configuration parser will accept it as a string.