Keep master on Vaadin 7.1 until first stable version of 7.2