JavDoc, isLeaf, numChildren ergänzt