plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
   <extension
         point="org.eclipse.ui.commands">
      <command
            categoryId="org.polarsys.chess.test.runtime.commands.category"
            defaultHandler="org.polarsys.chess.contracts.verificationService.test.runtime.commands.ModelCheckingTest"
            id="org.polarsys.chess.test.runtime.commands.testCommand2"
            name="Launch CHESS Runtime Tests2">
      </command>
   </extension>

</plugin>