Какое свойство user.agent использует GWT для IE7?

Я заметил, что в GWT не определено никакой "user.agent" ie7 для компиляции перестановки.

Если я хочу иметь конкретную реализацию класса для ie7, как я могу это определить? Если user.agent - это ie6, то я просто использую этот user.agent, так как мы не поддерживаем ie6.