upgraded to vaadin 7.1.9 to get a few useful bug fixes.