diff --git a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
index 7db6be1dfe8f84c9ea4e4af5311ee5197737093a..07d8a113efaef99889c36d65842b9f7c12c490bb 100644
--- a/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
+++ b/ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java
@@ -42,11 +42,8 @@ public class DiplodocusSecurityTest extends AbstractTest {
 
     @BeforeClass
     public static void setUpBeforeClass() throws Exception {
-        String test = System.getProperty("org.gradle.test.worker");
         String baseResourcesDir = getBaseResourcesDir();
-        if (test == null) {
-            baseResourcesDir = "test/resources/";
-        }
+
         PROVERIF_DIR = baseResourcesDir + DIR_GEN;
         MODELS_DIR = baseResourcesDir + DIR_MODELS;
         RESOURCES_DIR = baseResourcesDir + DIR_MODELS;