Use latest Vaadin 7.2 by default