moved model classes

de.prob.core/src/de/prob/animator/domainobjects/EBEvent.java → de.prob.core/src/de/prob/model/eventb/EBEvent.java

-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;
 

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);
 	}
 }