String s = val.toString();  for (int i = 0; i < s.length(); i++) { char c = s.charAt(i);
int len = val.length(); for (int i = 0; i < len; i++) { char c = val.charAt(i);
  private void encodeString(StringBuilderValue sb, StringValue val)  {    String s = val.toString();    for (int i = 0; i < s.length(); i++) {      char c = s.charAt(i);      switch (c) {        case '\b':          sb.append('\\');          sb.append('b');          break;        case '\f':          sb.append('\\');          sb.append('f');          break;        case '\n':          sb.append('\\');          sb.append('n');          break;        case '\r':          sb.append('\\');          sb.append('r');          break;        case '\t':          sb.append('\\');          sb.append('t');          break;        case '\\':          sb.append('\\');          sb.append('\\');          break;        case '"':          sb.append('\\');          sb.append('"');          break;        case '/':          sb.append('\\');          sb.append('/');          break;        default:          // Need to escape control chars in range 0-0x1F          if (c > 0x1F) {            sb.append(c);            break;          }          sb.append('\\');          sb.append('u');          sb.append('0');          sb.append('0');          if (c <= 0x0F)            sb.append('0');          else {            sb.append('1');            c &= 0x0F;          }          if (c <= 0x09)            c += 48;          else            c += 87;          sb.append((char)c);      } //switch    } //for  }