A gwt-wrapper library to write gwt-based html5 clients