An extension for Vaadin 7, which allows specifying IDs for options in OptionGroups