diff --git a/de.prob.core/src/de/prob/animator/domainobjects/EBEvent.java b/de.prob.core/src/de/prob/model/eventb/EBEvent.java
similarity index 93%
rename from de.prob.core/src/de/prob/animator/domainobjects/EBEvent.java
rename to de.prob.core/src/de/prob/model/eventb/EBEvent.java
index 61a159caaff667c5532c2f8f2f35512a6e70ebc7..37899622d61911371d719f2019505cece1ad4252 100644
--- a/de.prob.core/src/de/prob/animator/domainobjects/EBEvent.java
+++ b/de.prob.core/src/de/prob/model/eventb/EBEvent.java
@@ -1,8 +1,7 @@
-package de.prob.animator.domainobjects;
+package de.prob.model.eventb;
 
 import java.util.Arrays;
 
-import de.prob.model.eventb.EventB;
 import de.prob.model.representation.IEntity;
 import de.prob.model.representation.Label;
 
diff --git a/de.prob.core/src/de/prob/model/eventb/EBMachine.java b/de.prob.core/src/de/prob/model/eventb/EBMachine.java
index b837625671e974b25017917f22f0c4ec794e39b8..03c24021c3b95123a9b800c79f6a99c4de4200bb 100644
--- a/de.prob.core/src/de/prob/model/eventb/EBMachine.java
+++ b/de.prob.core/src/de/prob/model/eventb/EBMachine.java
@@ -2,7 +2,6 @@ package de.prob.model.eventb;
 
 import java.util.Arrays;
 
-import de.prob.animator.domainobjects.EBEvent;
 import de.prob.model.representation.IEntity;
 import de.prob.model.representation.Label;
 
@@ -31,7 +30,7 @@ public class EBMachine extends Label {
 		this.variant.addChild(new EventB(variant));
 	}
 
-	public void addEvent(final String event) {
-		events.addChild(new EBEvent(event));
+	public void addEvent(final EBEvent event) {
+		events.addChild(event);
 	}
 }