Cleaning imports

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;