format + typo

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

@@ -51,9 +51,7 @@ private JavaLangUtils() {
    */
   private static final Set<String> knownFinalJdkTypes = new HashSet<>();
 
-  /**
-   * A list of map of primitive names (int, short, etc.) to their object representations
-   */
+  /** A list of map of primitive names (int, short, etc.) to their object representations */
   private static final Map<String, String> primitivesToObjects = new HashMap<>();
 
   static {
@@ -327,11 +325,12 @@ public static boolean isPrimitive(String type) {
     return primitives.contains(type);
   }
 
-  /** Converts a primitive to its object wrapper class (i.e. int --> Integer)
-   * 
+  /**
+   * Converts a primitive to its object wrapper class (i.e. int --> Integer)
+   *
    * @param primitive the primitive type (int, boolean, char, etc.)
    * @return the primitive as an object (int --> Integer, char --> Character)
-  */
+   */
   public static String getPrimitiveAsObject(String primitive) {
     String converted = primitivesToObjects.get(primitive);
 

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

@@ -185,7 +185,7 @@ public boolean replaceParamWithObject(String incorrectTypeName) {
   /**
    * Given a correct method reference type, this method replaces the type at the given index with
    * the corrected name
-   * 
+   *
    * @param parameter The parameter (index) to replace
    * @param correctName The type name to replace the parameter as
    */

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

@@ -71,7 +71,7 @@ public static void runTest(
     speciminArgs.add(outputDir.toAbsolutePath().toString());
     speciminArgs.add("--root");
     speciminArgs.add(
-      Path.of("src/test/resources/" + testName + "/input/").toAbsolutePath().toString() + "/");
+        Path.of("src/test/resources/" + testName + "/input/").toAbsolutePath().toString() + "/");
     for (String targetFile : targetFiles) {
       speciminArgs.add("--targetFile");
       speciminArgs.add(targetFile);

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

@@ -11,7 +11,7 @@ public class SyntheticMethodRefsTest {
   @Test
   public void runTest() throws IOException {
     SpeciminTestExecutor.runTestWithoutJarPaths(
-        "syntheticmethodsrefs",
+        "syntheticmethodrefs",
         new String[] {"com/example/Simple.java"},
         new String[] {"com.example.Simple#foo()"});
   }