update test Security Generation

ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java

 package tmltranslator;
 
 import common.ConfigurationTTool;
+import launcher.RshServer;
 import myutil.FileUtils;
 import myutil.TraceManager;
 import org.junit.Before;
@@ -10,7 +11,6 @@ import test.AbstractTest;
 import tmltranslator.patternhandling.SecurityGenerationForTMAP;
 
 import java.io.File;
-import java.io.FilenameFilter;
 import java.nio.file.Files;
 import java.nio.file.Path;
 import java.nio.file.Paths;
@@ -49,10 +49,17 @@ public class AutoSecurityGenerationDiplodocusTest extends AbstractTest {
         super();
     }
 
-
     @Before
     public void setUp() throws Exception {
         TraceManager.devPolicy = TraceManager.TO_CONSOLE;
+        final Runnable runnable = new Runnable() {
+            @Override
+            public void run() {
+                new RshServer( null ).startServer();
+            }
+        };
+        Thread  threadServer = new Thread( runnable );
+        threadServer.start();
         ConfigurationTTool.ProVerifVerifierPath = "proverif";
         ConfigurationTTool.ProVerifVerifierHost = "localhost";
         TraceManager.addDev("Starting test for Security Generation");

ttool/src/test/java/tmltranslator/TMLComparingMethodTest.java

@@ -1068,7 +1068,7 @@ public class TMLComparingMethodTest extends AbstractTest {
     @Test
     public void isSecurityPatternMapEquals() {
 
-        assertTrue("two lists have same context but difference element order" +
+        assertFalse("two lists have same context but difference element order" +
                 "",comparing.isSecurityPatternMapEquals(securityMap1,securityMap2));
 
         assertFalse("two lists have same size but difference context" +