upgrading to Vaadin 7.1.7
show Vaadin version in About window and bug reports (in order to make sure there is no compilation mixup)