changing theme in smartgwt

[curiousgally]

Following the quick start quide i have done the following chanes to the configuration file:

<module rename-to="builtinds">

    <inherits name='com.google.gwt.user.User'/>

    <!--<inherits name="com.smartgwtee.SmartGwtEE"/>-->
    <inherits name="com.smartgwtee.SmartGwtEENoTheme"/>
    <inherits name="com.smartclient.theme.enterpriseblue.EnterpriseBlue"/>
    <inherits name="com.smartgwt.Drawing"/>
    <inherits name="com.smartgwt.Analytics"/>
    <inherits name="com.smartgwtee.tools.Tools"/>

    <entry-point class='com.smartgwt.sample.client.BuiltInDS'/>

</module>

But still I see the default Gray Enterprise theme being loaded. Do I need to do any other changes. I tried deleting all the old files and re-compiling but to of no avail.

Thanks.