Fix GWT compilation