Updated to Vaadin 7.1.3

Updated to Vaadin 7.1.3