HTML5 web worker for GWT with Elemental