diff --git a/de.prob.core/src/de/prob/eventb/translator/PredicateVisitor.java b/de.prob.core/src/de/prob/eventb/translator/PredicateVisitor.java
index c1b4f6e03846aef0b90698396e5d5ba22b941f6c..7094ecabecf5f2ed6abe1799ca4bca63ff594463 100644
--- a/de.prob.core/src/de/prob/eventb/translator/PredicateVisitor.java
+++ b/de.prob.core/src/de/prob/eventb/translator/PredicateVisitor.java
@@ -8,7 +8,6 @@ package de.prob.eventb.translator; // NOPMD
 // High number of imports because it depends on AST
 
 import java.util.ArrayList;
-import java.util.Collections;
 import java.util.LinkedList;
 import java.util.List;
 
@@ -26,7 +25,6 @@ import org.eventb.core.ast.RelationalPredicate;
 import org.eventb.core.ast.SimplePredicate;
 import org.eventb.core.ast.UnaryPredicate;
 
-import de.be4.classicalb.core.parser.analysis.pragma.internal.ClassifiedPragma;
 import de.be4.classicalb.core.parser.node.AConjunctPredicate;
 import de.be4.classicalb.core.parser.node.ADisjunctPredicate;
 import de.be4.classicalb.core.parser.node.AEqualPredicate;
@@ -52,7 +50,6 @@ import de.be4.classicalb.core.parser.node.ASubsetStrictPredicate;
 import de.be4.classicalb.core.parser.node.ATruthPredicate;
 import de.be4.classicalb.core.parser.node.PExpression;
 import de.be4.classicalb.core.parser.node.PPredicate;
-import de.hhu.stups.sablecc.patch.SourcePosition;
 import de.prob.eventb.translator.internal.SimpleVisitorAdapter;
 
 public class PredicateVisitor extends SimpleVisitorAdapter implements // NOPMD
diff --git a/de.prob.core/src/de/prob/eventb/translator2/EMFEventBTranslator.java b/de.prob.core/src/de/prob/eventb/translator2/EMFEventBTranslator.java
index f5f0faa9f9fe6f509bf0a85ddaf2b251f6ab6d4e..828469e7652b0f8453cf1c43a1404e66ee8cd8c1 100644
--- a/de.prob.core/src/de/prob/eventb/translator2/EMFEventBTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator2/EMFEventBTranslator.java
@@ -9,7 +9,6 @@ import org.eclipse.emf.common.util.EList;
 import org.eventb.core.IEventBRoot;
 import org.eventb.emf.core.EventBNamedCommentedComponentElement;
 import org.eventb.emf.core.Project;
-import org.eventb.emf.core.context.Axiom;
 import org.eventb.emf.core.context.CarrierSet;
 import org.eventb.emf.core.context.Context;
 import org.eventb.emf.core.machine.Machine;
@@ -54,10 +53,6 @@ public class EMFEventBTranslator {
 							s.getName()) }));
 			setList.add(deferredSet);
 		}
-		
-		EList<Axiom> axioms = c.getAxioms();
-		
-		
 
 	}