GWT permutations

Сломал себе голову.

Проект на GWT, ExtGWT и прочем всем таком. Во всех GWT-модулях установлены свойства:

    <set-property name="user.agent" value="ie6" />
    <set-property name="locale" value="default"/>

А при компиляции всё равно проходит 12 permutation.

Что я мог упустить? Какие еще факторы могут влиять на количество permutation?

Упд.
Помогла установка.

    <set-property name="gxt.user.agent" value="ie6"/>