diff --git a/learnlib/DotfileNLStarLearner.java b/learnlib/DotfileNLStarLearner.java
index c487fe7ba0d0f6f63120deef6d93ae06cbd4b95b..9b7cf8b46c6a5a449a52795408cc693dbbf0190a 100644
--- a/learnlib/DotfileNLStarLearner.java
+++ b/learnlib/DotfileNLStarLearner.java
@@ -13,8 +13,6 @@ import net.automatalib.visualization.Visualization;
 import java.io.IOException;
 import java.nio.file.Path;
 import java.nio.file.Paths;
-import java.util.Arrays;
-import java.util.Collections;
 
 public class DotfileNLStarLearner {
     CompactDFA<String> target;
diff --git a/learnlib/Example1.java b/learnlib/Example1.java
index 15dafb85ef1b76888c20616af3c2b220dda46cf7..10b225fc59a3e5c79b98a5921250e603cc1ebb10 100644
--- a/learnlib/Example1.java
+++ b/learnlib/Example1.java
@@ -18,13 +18,7 @@ import java.io.IOException;
 
 import de.learnlib.algorithms.lstar.dfa.ClassicLStarDFA;
 import de.learnlib.algorithms.lstar.dfa.ClassicLStarDFABuilder;
-import de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealy;
-import de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealyBuilder;
-import de.learnlib.algorithms.rivestschapire.RivestSchapireDFA;
-import de.learnlib.algorithms.rivestschapire.RivestSchapireDFABuilder;
-import de.learnlib.api.algorithm.LearningAlgorithm;
 import de.learnlib.api.oracle.MembershipOracle.DFAMembershipOracle;
-import de.learnlib.datastructure.observationtable.OTUtils;
 import de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter;
 import de.learnlib.filter.statistic.oracle.CounterOracle.DFACounterOracle;
 import de.learnlib.oracle.equivalence.RandomWMethodEQOracle;
diff --git a/learnlib/Example1nlstar.java b/learnlib/Example1nlstar.java
index 2636827d84ede2d873e20182671bf31f3d43c971..e15195df684019ce5783a453e651864da729b156 100644
--- a/learnlib/Example1nlstar.java
+++ b/learnlib/Example1nlstar.java
@@ -24,13 +24,7 @@ import de.learnlib.algorithms.lstar.mealy.ExtensibleLStarMealyBuilder;
 import de.learnlib.algorithms.nlstar.NLStarLearner;
 import de.learnlib.algorithms.nlstar.NLStarLearnerBuilder;
 import de.learnlib.algorithms.nlstar.ObservationTable;
-import de.learnlib.algorithms.rivestschapire.RivestSchapireDFA;
-import de.learnlib.algorithms.rivestschapire.RivestSchapireDFABuilder;
-import de.learnlib.api.algorithm.LearningAlgorithm;
 import de.learnlib.api.oracle.MembershipOracle.DFAMembershipOracle;
-import de.learnlib.datastructure.observationtable.OTUtils;
-import de.learnlib.datastructure.observationtable.writer.ObservationTableASCIIWriter;
-import de.learnlib.drivers.reflect.MethodInput;
 import de.learnlib.filter.statistic.oracle.CounterOracle.DFACounterOracle;
 import de.learnlib.oracle.equivalence.RandomWMethodEQOracle;
 import de.learnlib.oracle.equivalence.RandomWordsEQOracle;
diff --git a/learnlib/RevDFASimulatorOracle.java b/learnlib/RevDFASimulatorOracle.java
index 7dc1f503a35b584041f0fbf8d063833af71e12c0..8a0d755963f4c434036c0e9e0c2d0422de1b2ff6 100644
--- a/learnlib/RevDFASimulatorOracle.java
+++ b/learnlib/RevDFASimulatorOracle.java
@@ -1,12 +1,5 @@
-import de.learnlib.api.query.Query;
-import de.learnlib.util.MQUtil;
-import java.util.Collection;
-import java.util.Collections;
-import java.util.List;
-import net.automatalib.automata.concepts.SuffixOutput;
 import net.automatalib.automata.fsa.DFA;
 import net.automatalib.words.Word;
-import net.automatalib.words.WordBuilder;
 import de.learnlib.oracle.membership.SimulatorOracle.DFASimulatorOracle;
 
 public class RevDFASimulatorOracle<I> extends DFASimulatorOracle<I> {
diff --git a/learnlib/RevSimulatorOracle.java b/learnlib/RevSimulatorOracle.java
index 088fbabb2c0f6c4d551caf19a0d77fdac241cefc..9c7cd4254a8a8cdc4460a0b3b015f509a0e9c6d2 100644
--- a/learnlib/RevSimulatorOracle.java
+++ b/learnlib/RevSimulatorOracle.java
@@ -1,6 +1,5 @@
 import de.learnlib.oracle.membership.SimulatorOracle;
 import net.automatalib.automata.concepts.SuffixOutput;
-import net.automatalib.automata.fsa.DFA;
 import net.automatalib.words.Word;
 import net.automatalib.words.WordBuilder;
 import de.learnlib.oracle.membership.SimulatorOracle.DFASimulatorOracle;