Updated to Vaadin 7.1.6, upped version number for release, formatted
files with the vaadin formatter