<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin> 

</plugin>

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
   <extension
         point="fr.inria.diverse.trace.gemoc.generator.integration">
      <addon_generation_integration
            class="fr.inria.diverse.trace.gemoc.generator.xmof.XMOFTraceAddonGeneratorIntegrationConfiguration">
      </addon_generation_integration>
   </extension> 

</plugin>

Make xmof use trace addon extension point
Make xmof use trace addon extension point
