void (final MemberNodeBase<M> node, final Set<? super MemberNodeBase<M>> nodes) { if (node.isChecked()) { nodes.add(node); final Enumeration children = node.children(); while (children.hasMoreElements()) { collectSelectedNodes((MemberNodeBase)children.nextElement(), nodes); } } }