Remove useless code

ttool/src/test/java/test/AbstractTest.java

@@ -234,8 +234,7 @@ public abstract class AbstractTest {
                         if (golden.contains(outputLine)) {
                             checked += 1;
                         } else {
-                            checked = -1;
-                            break;
+                            return false;
                         }
                     }
 

ttool/src/test/java/ui/AvatarSecurityTests.java

 package ui;
 
-import avatartranslator.AvatarSpecification;
-import avatartranslator.toproverif.AVATAR2ProVerif;
 import common.ConfigurationTTool;
 import common.SpecConfigTTool;
-import myutil.FileException;
-import myutil.FileUtils;
 import myutil.TraceManager;
 import org.junit.BeforeClass;
 import org.junit.Test;
-import proverifspec.ProVerifSpec;
-
-import java.io.*;
-import java.util.ArrayList;
-import java.util.List;
 
 import static org.junit.Assert.*;
 
 public class AvatarSecurityTests extends AbstractUITest {
 
-    final static String RES_FOLDER = "ui/avatarsecuritytests/";
-    final static String INPUT_FOLDER = "input/";
-    final static String GOLDEN_SUFFIX = "_golden";
-    final static String OUTPUT_FOLDER = "output/";
-    final static String PVSPEC_SUFFIX = "_pvspec";
-    static String OUTPUT_DIR;
+    private final static String RES_FOLDER = "ui/avatarsecuritytests/";
+    private final static String INPUT_FOLDER = "input/";
+    private final static String GOLDEN_SUFFIX = "_golden";
+    private final static String OUTPUT_FOLDER = "output/";
+    private final static String PVSPEC_SUFFIX = "_pvspec";
+    private static String OUTPUT_DIR;
 
 
-    final static String[] MODELS = {
+    private final static String[] MODELS = {
             "AliceAndBob",
     };
 
@@ -61,7 +52,6 @@ public class AvatarSecurityTests extends AbstractUITest {
         TraceManager.addDev("Start testing " + model);
 
         openModel(model);
-        AvatarSpecification avatarSpecification = mainGUI.gtm.getAvatarSpecification();
         mainGUI.checkModelingSyntax(true);
 
         String pvspecPath = OUTPUT_DIR + model + PVSPEC_SUFFIX;