Problem building with NoScript.gwt.xml and RealtimeMessaging

Hello,

we use SmartClient Version: v10.0p_2014-10-29/PowerEdition Deployment (built 2014-10-29)

We also use the Realtime Messaging module from the same nightly build.

Our normal gwt.xml includes:

<inherits name="com.smartgwtee.SmartGwtEENoTheme"/>
<inherits name="com.smartgwt.RealtimeMessaging"/>

This builds fine and includes the <module>/sc/modules/ISC_RealtimeMessaging.js to our war.

But I want to use SuperDev mode so I need to inherit the NoScript files.

If I now switch to
<inherits name="com.smartgwtee.SmartGwtEENoTheme"/>
<inherits name="com.smartgwt.RealtimeMessagingNoScript"/>

Everything is fine, too.

If I switch to
<inherits name="com.smartgwtee.SmartGwtEENoScriptNoTheme"/>
<inherits name="com.smartgwt.RealtimeMessagingNoScript"/>

The <module>/sc/modules/ISC_RealtimeMessaging.js is not generated any more :-(

I would appreciate some help here.

Best Regards,
Christian