diff --git a/subprojects/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java b/subprojects/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java
index ea402bd644..651376d96c 100644
--- a/subprojects/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java
+++ b/subprojects/analysis/src/main/java/hu/bme/mit/theta/analysis/expl/ExplStmtTransFunc.java
@@ -21,7 +21,6 @@
 import static java.util.Collections.singleton;
 
 import java.util.Collection;
-import java.util.Collections;
 import java.util.List;
 
 import hu.bme.mit.theta.analysis.TransFunc;
diff --git a/subprojects/analysis/src/test/java/hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java b/subprojects/analysis/src/test/java/hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java
index f1ecbe4ca9..23a8054332 100644
--- a/subprojects/analysis/src/test/java/hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java
+++ b/subprojects/analysis/src/test/java/hu/bme/mit/theta/analysis/waitlist/WaitlistTest.java
@@ -17,10 +17,12 @@
 
 import java.util.NoSuchElementException;
 
-import org.junit.Assert;
 import org.junit.Test;
 
-import static org.junit.Assert.*;
+import static junit.framework.TestCase.assertTrue;
+import static org.junit.Assert.assertEquals;
+import static org.junit.Assert.assertFalse;
+
 
 public class WaitlistTest {