Unused Imports

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/RefinementTypeChecker.java

@@ -13,11 +13,9 @@
 import liquidjava.processor.refinement_checker.object_checkers.AuxStateHandler;
 import liquidjava.rj_language.BuiltinFunctionPredicate;
 import liquidjava.rj_language.Predicate;
-import liquidjava.rj_language.ast.LiteralNull;
 import liquidjava.utils.Utils;
 import liquidjava.utils.constants.Formats;
 import liquidjava.utils.constants.Keys;
-import liquidjava.utils.constants.Ops;
 import liquidjava.utils.constants.Types;
 
 import org.apache.commons.lang3.NotImplementedException;

liquidjava-verifier/src/main/java/liquidjava/utils/Utils.java

@@ -14,8 +14,8 @@ public class Utils {
 
     private static final Set<String> DEFAULT_NAMES = Set.of("old", "length", "addToIndex", "getFromIndex");
     private static final Set<String> PRIMITIVE_TYPES = Set.of("int", "boolean", "long", "short", "float", "double");
-    private static final Set<String> BOXED_TYPES = Set.of("java.lang.Integer", "java.lang.Boolean", "java.lang.Long", "java.lang.Short",
-            "java.lang.Float", "java.lang.Double");
+    private static final Set<String> BOXED_TYPES = Set.of("java.lang.Integer", "java.lang.Boolean", "java.lang.Long",
+            "java.lang.Short", "java.lang.Float", "java.lang.Double");
 
     public static CtTypeReference<?> getType(String type, Factory factory) {
         // TODO: complete with other types