docs: public static void printf(StringBuffer buf, String formatString, PrintfSpec printfSpec) {
          for (int i = 0; i < formatString.length(); ++i) {
              char c = formatString.charAt(i);
              if ((c == '%') && (i + 1 < formatString.length())) {
                  ++i;
                  char code = formatString.charAt(i);
                  if (code == '%') {
                      buf.append('%');
                  } else {
                      boolean handled = printfSpec.printSpec(buf, code);
                      if (!handled) {
                          buf.append('%');
                          buf.append(code);
                      }
                  }
              } else if ((c == '\\') && (i + 1 < formatString.length())) {
                  ++i;
                  buf.append(Util.unescapeChar(formatString.charAt(i)));
              } else {
                  buf.append(c);
              }
          }
      }