code: public static String escape(String s, JSONStyle compression) {
  		if (s == null)
  			return null;
  		StringBuilder sb = new StringBuilder();
  		compression.escape(s, sb);
  		return sb.toString();
  	}
docs: Escape quotes, \, /, \r, \n, \b, \f, \t and other control characters
  (U+0000 through U+001F).