javadocing CommentTreeElement, not done