Updated to Vaadin 7.1.8, changed version number