(Properly) Resolving GWT compilation errors