fix compatibility with gwt2.7