Update to Vaadin 7.1 core API

Hey, Henri, I was dissecting your FlexibleOptionGroup and found it useful to update it to latest Vaadin Core API (7.1.7). I thought you may want to include the update I prepared.