reference/Microbenchmarks/src/com/google/gwt/reference/microbenchmark/Microbenchmarks.gwt.xml

<?xml version="1.0" encoding="UTF-8"?>
<module rename-to='microbenchmarks'>
  <inherits name='com.google.gwt.user.User'/>
  <inherits name='com.google.gwt.user.theme.standard.Standard'/>

  <!-- Specify the app entry point class.                         -->
  <entry-point class='com.google.gwt.reference.microbenchmark.client.Microbenchmarks'/>

  <!-- Specify the paths for translatable code                    -->
  <source path='client'/>

  <!-- Deferred binding for Util. -->
  <replace-with class="com.google.gwt.reference.microbenchmark.client.UtilImplTrident">
    <when-type-is class="com.google.gwt.reference.microbenchmark.client.UtilImpl" />
    <any>
      <when-property-is name="user.agent" value="ie6" />
      <when-property-is name="user.agent" value="ie8" />
      <when-property-is name="user.agent" value="ie9" />
    </any>
  </replace-with>

</module>