Add required gwt.User module dependency
Add required gwt.User module dependency

This produces a super weird error if the user do no add this module, for
example because only depends on gwt.Core.

hal/elemento,hal/elemento