gwt "CssResource.style" valores posibles, cómo activar la ofuscación

¿Existe una documentación de gwt.xml, una lista de la configuración con todos los valores aceptados? En mi caso, he desactivado la ofuscación css en el entorno de depuración / desarrollo. Pero para el entorno de producción quiero encenderlo. Lo mismo que hice con "gwt.enableDebugId" es cierto en .gwt.xml y false en -production.gwt.xml: esto funciona bien. Lo mismo quiero con "CssResource.style".

Lo único que encontré hasta ahora fue el valor "obf", pero parece que el valor también produce "clases legibles por humanos".aquí por ejemplo. Probé este valor pero los nombres siguen siendo bonitos.

la aclaración exigida: esto desactiva la ofuscación css:

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

¿Pero cómo encenderlo?

Respuestas a la pregunta(2)

Su respuesta a la pregunta