which extension version to use when configuring the cube agent

[debbabi]

In the cube agent local config file (e.g., cube.agent in the demo directory), when specifying the extensions to use we can choose which version of the extension to use (using the "version=..." parameter). However, it seems that is does not work yet!

 <cube>
  <agent>
    <extensions>
      <extension id="fr.liglab.adele.cube.core" version="1.2">
      </extension>                      
    </extensions>
  </agent>
 </cube>