Upgraded Vaadin Framework to 7.2.0. Due to some API changes in the
framework, this change breaks the backward compatibility for 7.1.