Changed vaadin.version property to 7.2.3