Condition definition of property

I've set up deferred binding to use a different class with SDM, which works fine for GWT 2.6+ 

<replace-with class="Foo">
        <when-type-is class="Bar"/>
        <when-property-is name="superdevmode" value="on" />
</replace-with>

However, this causes an error with GWT 2.5.1, because "superdevmode" isn't defined.  So I have the following questions:

• Is there a clause similar to <when-property-is> but that tolerates the property being undefined?  something like <when-property-is-defined>?
• I can work around this manually by adding <define-property name="superdevmode" values="off"> at the top of my module.  However, I don't want to have to do this manually.  Can this be done conditionally?  The <set-property> syntax allows for a <when-property-is> clause, but for some reason that's not legal for <define-property>
• Instead of trying to look for the potentially undefined property "superdevmode", is the GWT version defined in some property inside the .gwt.xml module?  Is there a gwt.version property?  Is there any way to automatically get the GWT version into a property that I could then use as above to control deferred binding?

Thanks.

--
You received this message because you are subscribed to the Google Groups "GWT Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit+unsubscribe@googlegroups.com.
To post to this group, send email to google-web-toolkit@googlegroups.com.
Visit this group at https://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.