updating to Vaadin 7.2.4 to fix tooltip styling issue