diff --git a/de.prob.core.tests/src/de/prob/core/translator/tests/ContextChainTest.java b/de.prob.core.tests/src/de/prob/core/translator/tests/ContextChainTest.java
index 0a5914fb7350661b79817e77b1805ea643e8a76a..fc46d26b43acd973b4be60d13a134ab6db3e965f 100644
--- a/de.prob.core.tests/src/de/prob/core/translator/tests/ContextChainTest.java
+++ b/de.prob.core.tests/src/de/prob/core/translator/tests/ContextChainTest.java
@@ -8,7 +8,6 @@ import org.eclipse.core.runtime.CoreException;
 import org.eventb.core.IContextRoot;
 import org.eventb.core.IEventBProject;
 import org.junit.Before;
-import org.junit.Ignore;
 import org.junit.Test;
 
 import de.prob.core.translator.TranslationFailedException;
@@ -28,7 +27,6 @@ public class ContextChainTest extends AbstractEventBTests {
 		writer = new PrintWriter(stringWriter);
 	}
 
-	@Ignore
 	@Test
 	public void testEmptyContextChain() throws CoreException,
 			TranslationFailedException {
diff --git a/de.prob.core.tests/src/de/prob/core/translator/tests/ContextWithConstantsTest.java b/de.prob.core.tests/src/de/prob/core/translator/tests/ContextWithConstantsTest.java
index 6691aef446519ea5c3f82af40b201182ad1f667d..3f687e6b6e3830b1614bdeccd1d409dc64bc97b9 100644
--- a/de.prob.core.tests/src/de/prob/core/translator/tests/ContextWithConstantsTest.java
+++ b/de.prob.core.tests/src/de/prob/core/translator/tests/ContextWithConstantsTest.java
@@ -8,7 +8,6 @@ import org.eclipse.core.runtime.CoreException;
 import org.eventb.core.IContextRoot;
 import org.eventb.core.IEventBProject;
 import org.junit.Before;
-import org.junit.Ignore;
 import org.junit.Test;
 
 import de.prob.core.translator.TranslationFailedException;
@@ -28,7 +27,6 @@ public class ContextWithConstantsTest extends AbstractEventBTests {
 		writer = new PrintWriter(stringWriter);
 	}
 
-	@Ignore
 	@Test
 	public void testContextWithConstants() throws CoreException,
 			TranslationFailedException {
diff --git a/de.prob.core.tests/src/de/prob/core/translator/tests/EmptyTranslationsTest.java b/de.prob.core.tests/src/de/prob/core/translator/tests/EmptyTranslationsTest.java
index d9fa734be466ce637f84e64abca5778dc95070ff..824328d5eb1687b6230f1038f23f5b5c9f60bbfd 100644
--- a/de.prob.core.tests/src/de/prob/core/translator/tests/EmptyTranslationsTest.java
+++ b/de.prob.core.tests/src/de/prob/core/translator/tests/EmptyTranslationsTest.java
@@ -9,7 +9,6 @@ import org.eventb.core.IContextRoot;
 import org.eventb.core.IEventBProject;
 import org.eventb.core.IMachineRoot;
 import org.junit.Before;
-import org.junit.Ignore;
 import org.junit.Test;
 
 import de.prob.core.translator.TranslationFailedException;
@@ -45,7 +44,6 @@ public class EmptyTranslationsTest extends AbstractEventBTests {
 				stringWriter.getBuffer().toString());
 	}
 
-	@Ignore
 	@Test
 	public void testEmptyContext() throws CoreException,
 			TranslationFailedException {