docs: private static String scanForName(int pos, final char[] chars) {
        StringBuilder buf = new StringBuilder();
        while(pos < chars.length) {
           char ch = chars[pos++];
           switch(ch) {
              case ' ':
              case ']':
                 return buf.toString();
              case '[':
              case '<':
              case '>':
              case '&':
              case '/':
                 return "";
              default:
                 if(ch < 0x20 || Character.isWhitespace(ch)) {
                    return "";
                 } else {
                    buf.append(ch);
                 }
           }
        }
        return "";
     }