apply spotless and clarify comments

src/main/java/org/checkerframework/specimin/UnsolvedClass.java

@@ -178,9 +178,9 @@ public void updateFieldByType(String currentType, String correctType) {
       String fieldName = elements.get(1);
       if (fieldType.equals(currentType)) {
         iterator.remove();
-          newFields.add(
-              UnsolvedSymbolVisitor.setInitialValueForVariableDeclaration(
-                  correctType, staticKeyword + correctType + " " + fieldName));
+        newFields.add(
+            UnsolvedSymbolVisitor.setInitialValueForVariableDeclaration(
+                correctType, staticKeyword + correctType + " " + fieldName));
       }
     }
 

src/main/java/org/checkerframework/specimin/UnsolvedSymbolVisitor.java

@@ -1660,6 +1660,7 @@ public void updateClassSetWithQualifiedFieldSignature(String fieldExpr, boolean
           "Need to check this field access expression with"
               + " isAnUnsolvedStaticFieldCalledByAQualifiedClassName before using this method");
     }
+    // this is the synthetic type of the field
     String fieldTypeClassName = toCapital(fieldParts.get(0));
     String packageName = fieldParts.get(0);
     // According to the above example, fieldName will be myField

src/test/java/org/checkerframework/specimin/UnsolvedNonStaticField.java

@@ -1,11 +1,11 @@
 package org.checkerframework.specimin;
 
-import org.junit.Test;
-
 import java.io.IOException;
+import org.junit.Test;
 
 /**
- * This test checks that if Specimin will work if there is an unsolved, non-static field used by target methods
+ * This test checks that if Specimin will work if there is an unsolved, non-static field used by
+ * target methods
  */
 public class UnsolvedNonStaticField {
   @Test