diff --git a/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java b/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
index 1450e65a8be751c8ac9848b2f92396c91a970396..ab127305cd0ca0122dfee1d5448a17748e3d2e99 100644
--- a/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
+++ b/src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java
@@ -7,9 +7,6 @@ import java.util.LinkedList;
 import java.util.List;
 import java.util.Map;
 import java.util.Set;
-
-import com.sun.net.httpserver.Authenticator.Result;
-
 import avatartranslator.AvatarBlock;
 import avatartranslator.AvatarSpecification;