Upgrade to Vaadin 7.0.5.  Fixes #120