DefinitionNode.java comments