Vaadin container: gwt, gwt-tools, vaadin