Hi,
What's the recommended widget/ interface to use for selecting multiple options from a tree of options (cf. attached image)?

multiselect-tree.png
Thanks,
Anand