docs: public final void printJsonString(CharSequence text)
          throws IOException
      {
          if (text == null)
          {
              appendAscii("null");
          }
          else
          {
              appendAscii('"');
              printCodePoints(text, JSON_ESCAPE_CODES);
              appendAscii('"');
          }
      }