Branch of Google Web Toolkit tools maintained by Vaadin and included in Vaadin Framework