docs: private void convertTokenDefinitions(Map<String, ParseTreeNode> helpers,
  	    Map<String, ParseTreeNode> tokens) throws GrammarException,
  	    TreeException {
  	tokenDefinitions = new TokenDefinitionSet();
  	for (ParseTreeNode tokenDefinitionAST : parserTree.getChild("Tokens")
  		.getChild("TokenDefinitions").getChildren("TokenDefinition")) {
  	    TokenDefinition convertedTokenDefinition = getTokenDefinition(
  		    tokenDefinitionAST, helpers, tokens);
  	    tokenDefinitions.addDefinition(convertedTokenDefinition);
  	}
      }