docs: public static String printCodePointAsString(int codePoint)
      {
          StringBuilder builder = new StringBuilder(12);
          builder.append('"');
          try
          {
              printStringCodePoint(builder, codePoint);
          }
          catch (IOException e)
          {
              // Shouldn't happen
              throw new Error(e);
          }
          builder.append('"');
          return builder.toString();
      }