Reverted back to Vaadin 7.1 nightly

7.2 nightly failed to compile the widget set