Upgraded to Vaadin 7.1.13, closes #242