code: @Pure
  	public static String toJsonString(String text) {
  		final StringEscaper escaper = new StringEscaper(
  				StringEscaper.JAVA_ESCAPE_CHAR,
  				StringEscaper.JAVA_STRING_CHAR, StringEscaper.JAVA_ESCAPE_CHAR, StringEscaper.JSON_SPECIAL_ESCAPED_CHAR);
  		return escaper.escape(text);
  	}
docs: Translate the given string to its Json string equivalent.
  All the special characters will be escaped. The enclosing double quote
  characters are not added.
  
  <p>The Json escaping extends the {@link #toJavaString(String) Java escaping} by
  protecting the {@code /} character.
  
  @param text is the text to convert.
  @return the Json string for the text.
  @since 15.0