reverted wrong change

Author: arcuri82

scripts/dist.py

@@ -143,8 +143,8 @@ def build_jdk_11_maven() :
     copy(folder +"/cs/rest/cwa-verification-server/target/cwa-verification-sut.jar", DIST)
     copy(folder +"/em/external/rest/cwa-verification/target/cwa-verification-evomaster-runner.jar", DIST)
 
-    #copy(folder +"/cs/graphql/timbuctoo/timbuctoo-instancev4/target/timbuctoo-sut.jar", DIST)
-    #copy(folder +"/em/external/graphql/timbuctoo/target/timbuctoo-evomaster-runner.jar", DIST)
+    copy(folder +"/cs/graphql/timbuctoo/timbuctoo-instancev4/target/timbuctoo-sut.jar", DIST)
+    copy(folder +"/em/external/graphql/timbuctoo/target/timbuctoo-evomaster-runner.jar", DIST)
 
     copy(folder +"/cs/rest-gui/market/market-rest/target/market-sut.jar", DIST)
     copy(folder +"/em/external/rest/market/target/market-evomaster-runner.jar", DIST)