Update Vaadin dependency to 7.2.+, a couple of other minor fixes