Каковы возможные значения user.agent в gwt.xml?

Ответ 1

Зависит от версии GWT, но здесь последняя: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml

UPDATE: модуль переместился с com.google.gwt.user.UserAgent на com.google.gwt.useragent.UserAgent, ссылка выше обновлена.

ОБНОВЛЕНИЕ 2: источники GWT перешли на gwt.googlesource.com