docs: private void checkToken(String s) {
  		for (int i = 0; i < s.length(); i++) {
  			char ch = s.charAt(i);
  			if (!TOKEN.get(ch)) {
  				throw new IllegalArgumentException("Invalid token character '" + ch + "' in token \"" + s + "\"");
  			}
  		}
  	}