stop engine

org.imt.tdl.configuration/src/org/imt/tdl/eventBasedEngine/K3EventManagerLauncher.java

@@ -321,6 +321,7 @@ public class K3EventManagerLauncher implements IEventBasedExecutionEngine{
 		}
 		this.executionEngineJob.cancel();
 		try {
+			this.executionEngine.stop();
 			this.executionEngineJob.getThread().interrupt();
 		}
 		catch (NullPointerException e) {