revert unrelated changes

Author: txiang61

default.jaif

@@ -9,10 +9,10 @@
 import org.checkerframework.framework.type.SubtypeVisitHistory;
 import org.checkerframework.javacutil.BugInCF;
 
-import checkers.inference.model.Slot;
-
 import javax.lang.model.element.AnnotationMirror;
 
+import checkers.inference.model.Slot;
+
 /**
  *  The InferenceTypeHierarchy along with the InferenceQualifierHierarchy is responsible for
  *  creating a subtype and equality constraints. Normally the methods of these two classes are queried
@@ -27,6 +27,7 @@ public class InferenceTypeHierarchy extends DefaultTypeHierarchy {
     private final AnnotationMirror varAnnot;
     // TODO: Think this through, add any missing constraints
 
+
     /**
      * Constructs an instance of {@code TypeHierarchy} for the type system
      * whose qualifiers represented in qualifierHierarchy.
@@ -51,12 +52,6 @@ public StructuralEqualityComparer createEqualityComparer() {
         return new InferenceEqualityComparer(this.typeargVisitHistory,
                 InferenceQualifierHierarchy.findVarAnnot(qualifierHierarchy.getTopAnnotations()));
     }
-
-    @Override
-    public boolean isSubtype(
-            final AnnotatedTypeMirror subtype, final AnnotatedTypeMirror supertype) {
-    	 return isSubtype(subtype, supertype, varAnnot);
-    }
 }
 
 class InferenceEqualityComparer extends StructuralEqualityComparer {