update for HTML GWT