Use as default latest Vaadin 7.1 release, not alpha releases.