Use Vaadin 7.3.1 by default

Change-Id: If5afb1e00a954aee8ca65dcd9764ce97b307e91d