Add style check and also fix style violations

build.gradle

@@ -1,6 +1,9 @@
 plugins {
     id 'java'
     id 'maven-publish'
+
+    // spotless enforces style
+    id "com.diffplug.gradle.spotless" version "3.23.0"
 }
 
 repositories {
@@ -36,3 +39,12 @@ publishing {
         }
     }
 }
+
+// run google java format to enforce style
+spotless {
+    // uncomment this line to temporarily disable spotless (i.e. when debugging)
+    // enforceCheck = false
+    java {
+        googleJavaFormat()
+    }
+}

src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaBottom.java

@@ -10,9 +10,7 @@
 import org.checkerframework.framework.qual.TargetLocations;
 import org.checkerframework.framework.qual.TypeUseLocation;
 
-/**
- * The bottom type for the TemplateFora Checker's type system.
- */
+/** The bottom type for the TemplateFora Checker's type system. */
 @SubtypeOf({TemplateforaUnknown.class})
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})

src/main/java/org/checkerframework/checker/templatefora/qual/TemplateforaUnknown.java

@@ -7,9 +7,7 @@
 import org.checkerframework.framework.qual.DefaultQualifierInHierarchy;
 import org.checkerframework.framework.qual.SubtypeOf;
 
-/**
- * The top type for the TemplateFora Checker's type system.
- */
+/** The top type for the TemplateFora Checker's type system. */
 @Retention(RetentionPolicy.RUNTIME)
 @Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
 @DefaultQualifierInHierarchy

src/test/java/tests/TemplateforaTest.java

@@ -13,18 +13,18 @@
  * https://github.com/typetools/checker-framework/blob/master/checker/tests/README .
  */
 public class TemplateforaTest extends CheckerFrameworkPerDirectoryTest {
-    public TemplateforaTest(List<File> testFiles) {
-        super(
-                testFiles,
-                TemplateforaChecker.class,
-                "templatefora",
-                "-Anomsgtext",
-                "-Astubs=stubs/",
-                "-nowarn");
-    }
+  public TemplateforaTest(List<File> testFiles) {
+    super(
+        testFiles,
+        TemplateforaChecker.class,
+        "templatefora",
+        "-Anomsgtext",
+        "-Astubs=stubs/",
+        "-nowarn");
+  }
 
-    @Parameters
-    public static String[] getTestDirs() {
-        return new String[] {"templatefora"};
-    }
+  @Parameters
+  public static String[] getTestDirs() {
+    return new String[] {"templatefora"};
+  }
 }