Patch to support Vaadin 7 beta 11