diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml b/plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml
index 193f7eaced1ae0ee93dcd84cfca7008920c015e0..7f4b5206af797347d8202f73ec52f93ec04ecdcb 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/plugin.xml
@@ -168,33 +168,6 @@
                            </with>
                         </or>
                      </visibleWhen>
-                </command>
-                <command
-                      commandId="org.polarsys.chess.contracts.transformations.ftaxsap.id"
-                      label="FTA with xSAP"
-                      style="push">
-                   <visibleWhen
-                         checkEnabled="false">
-                      <or>
-                         <with
-                               variable="activeEditorId">
-                            <equals
-                                  value="org.eclipse.uml2.uml.editor.presentation.UMLEditorID">
-                            </equals>
-                         </with>
-                         <with
-                               variable="activeEditorInput">
-                            <adapt
-                                  type="org.eclipse.core.resources.IResource">
-                            </adapt>
-                         </with>
-                      </or>
-                   </visibleWhen>
-                </command>
-                <command
-                      commandId="org.polarsys.chess.contracts.transformations.fmeaxsap.id"
-                      label="FMEA with xSAP"
-                      style="push">
                 </command>
           	 </menu>
           </menu>
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java b/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java
index 0d2e33ac0a189eb25a3f2a338f13cc6f373a9c30..52143da4eec5180eee8d0b0a081ff98ddee804ff 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService/src/org/polarsys/chess/verificationService/ui/commands/CheckValidationContractPropertyCommand.java
@@ -61,7 +61,7 @@ public class CheckValidationContractPropertyCommand extends AbstractJobCommand {
 	public void execJobCommand(ExecutionEvent event, IProgressMonitor monitor) throws Exception {
 
 		ocraExecService.executeValidationContractProperty(umlSelectedComponent, umlSelectedResource, isDiscreteTime, usexTextValidation,showPopups,
-				ossFilepath, resultFilePath, monitor);
+				ossFilepath, resultFilePath, monitor, false);
 
 	}