PROBPLUGIN-113 use Aux Animator

de.prob.core/src/de/prob/core/Animator.java

@@ -39,6 +39,7 @@ import de.prob.exceptions.ProBException;
 public final class Animator {
 
 	private static Animator animator = new Animator();
+	private static Animator auxanimator = null;
 
 	/**
 	 * 
@@ -66,6 +67,14 @@ public final class Animator {
 		return animator;
 	}
 
+	public final static Animator getAuxAnimator() {
+		if (auxanimator == null) {
+			auxanimator = new Animator();
+		}
+		return auxanimator;
+	}
+
+
 	/**
 	 * Terminates the current animation (forcefully!) and restarts the ProB
 	 * core. After calling this method, all information from the current

de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java

@@ -121,7 +121,7 @@ public class DisproverReasoner implements IReasoner {
 		IEventBProject evbProject = (IEventBProject) project
 				.getAdapter(IEventBProject.class);
 		ICounterExample counterExample = DisproverCommand.disprove(
-				Animator.getAnimator(), evbProject, allHypotheses,
+				Animator.getAuxAnimator(), evbProject, allHypotheses,
 				selectedHypotheses, goal, timeoutFactor, context, pm);
 		// Logger.info("Disprover: Result: " + counterExample.toString());