avoid GWT compiler warnings