Properties + TocElement.setChildren