docs: private static int skipWhitespace(char[] s, int start) {
      int slen = s.length;
      for (int i = start; i < slen; i++) {
        if (!Character.isSpace(s[i])) {
          return i;
        }
      }
      return slen;
    }