Resolving GWT compilation errors