diff --git a/src/main/java/tmltranslator/patternhandling/SecurityGenerationForTMAP.java b/src/main/java/tmltranslator/patternhandling/SecurityGenerationForTMAP.java
index f7a924dbc5825d54e11e6eb22d2e6394badceaad..2c39262489b5734349fb88cdf1046df860b82743 100644
--- a/src/main/java/tmltranslator/patternhandling/SecurityGenerationForTMAP.java
+++ b/src/main/java/tmltranslator/patternhandling/SecurityGenerationForTMAP.java
@@ -145,14 +145,6 @@ public class SecurityGenerationForTMAP implements Runnable {
             final Reader[] data = new Reader[1];
             final ExecutorService executor = Executors.newSingleThreadExecutor();
             if (timeOutInSeconds > 0) {
-                try {
-                    process[0] = Runtime.getRuntime().exec(cmd);
-                    data[0] = new BufferedReader(new InputStreamReader(process[0].getInputStream()));
-                } catch (Exception e) {
-                    TraceManager.addDev("FAILED: executing: " + cmd + ": " + e.getMessage());
-                    throw new RuntimeException(e);
-                }
-            } else {
                 final Future<?> future = executor.submit(() -> {
                     try {
                         process[0] = Runtime.getRuntime().exec(cmd);
@@ -170,6 +162,14 @@ public class SecurityGenerationForTMAP implements Runnable {
                 } finally {
                     executor.shutdown();
                 }
+            } else {
+                try {
+                    process[0] = Runtime.getRuntime().exec(cmd);
+                    data[0] = new BufferedReader(new InputStreamReader(process[0].getInputStream()));
+                } catch (Exception e) {
+                    TraceManager.addDev("FAILED: executing: " + cmd + ": " + e.getMessage());
+                    throw new RuntimeException(e);
+                }
             }
             ProVerifOutputAnalyzer pvoa = avatar2proverif.getOutputAnalyzer();
             pvoa.analyzeOutput(data[0], true);