Update configTest.properties.

Change-Id: I7828382967377c53dddf419e72cce0da07ae9806

plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/configTest.properties

 OCRAPath=C:\\Users\\Alberto\\Downloads\\20180124_OpenCertCHESSClient_Win_x64\\amass_P1\\FBK_Tools\\OCRA\\ocra_win64.exe
 testOutput=testOutput
 testTempOutput=C:\\tmp\\adapter4
-OCRAFilePath=resources\\tools\\ocra_win64.exe
-nuXmvFilePath=resources\\tools\\nuXmv_win64.exe
-xSapFilePath=resources\\tools\\xSAP_win64.exe
+OCRAFilePath=resources\\tools\\OCRA\\ocra_win64.exe
+nuXmvFilePath=resources\\tools\\nuXmv\\nuXmv_win64.exe
+xSapFilePath=resources\\tools\\xSAP\\bin\\xSAP_win64.exe
+feiFilePathPath=C:\\Users\\Alberto\\Downloads\\FBK_Tools_2018_10_31\\FBK_Tools\\xSAP\\bin\\extend_model.exe
+#resources\\tools\\xSAP\\bin\\extend_model.exe
\ No newline at end of file