gwt “CssResource.style” valores possíveis, como ativar a ofuscação

Existe uma documentação de gwt.xml, uma lista da configuração com todos os valores aceitos? No meu caso eu desliguei o css ofuscamento no ambiente de debug / developer. Mas para o ambiente de produção eu quero ativá-lo. O mesmo que fiz com "gwt.enableDebugId" é verdade em .gwt.xml e false in -production.gwt.xml - isso está funcionando bem. O mesmo que eu quero com "CssResource.style".

a única coisa que encontrei até agora foi o valor "obf", mas parece que o valor também produz "classes legíveis por humanos".aqui para exemplo. Eu tentei esse valor, mas os nomes continuam bonitos.

o esclarecimento exigido: isso desativa a ocultação do css:

<set-configuration-property name="CssResource.style" value="pretty"/>

mas como ligá-lo?

questionAnswers(2)

yourAnswerToTheQuestion