code: @Pure
  	public static String toJavaString(String text) {
  		final StringEscaper escaper = new StringEscaper();
  		return escaper.escape(text);
  	}
docs: Translate the given string to its Java string equivalent.
  All the special characters will be escaped. The enclosing double quote
  characters are not added.
  
  <p>The Java special characters are listed within {@link StringEscaper#JAVA_SPECIAL_CHARS}.
  Any character outside the range [{@link StringEscaper#JAVA_MIN_CHAR}, {@link StringEscaper#JAVA_MAX_CHAR}]
  is automatically escaped.
  
  @param text is the text to convert.
  @return the Java string for the text.
  @since 15.0