stop model execution thread

org.eclipse.gemoc.executionframework.event.manager/src/org/eclipse/gemoc/executionframework/event/manager/GenericEventManager.java

@@ -117,7 +117,7 @@ public class GenericEventManager implements IEventManager {
 					engine.setEngineStatus(RunStatus.WaitingForEvent);
 					callRequest = callRequestQueue.take();
 				} catch (InterruptedException e) {
-					e.printStackTrace();
+					//e.printStackTrace();
 				}
 				engine.setEngineStatus(RunStatus.Running);
 				waitForCallRequests = false;

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

@@ -589,8 +589,9 @@ public class K3EventManagerLauncher implements IEventBasedExecutionEngine{
 			this.MUTResource.unload();
 			this.executionEngine.dispose();
 			this.executionEngineJob.cancel();
+			this.executionEngineJob.getThread().interrupt();
 		}catch (NullPointerException e) {
 			// TODO: handle exception
-		}	
+		}
 	} 
 }