Updated to Vaadin 7.1.0; added a few ui-elements to StandardUIFactory