add test case

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

@@ -0,0 +1,15 @@
+package org.checkerframework.specimin;
+
+import java.io.IOException;
+import org.junit.Test;
+
+/** This test checks if Specimin can properly remove unused imports. */
+public class UnusedImportsTest {
+  @Test
+  public void runTest() throws IOException {
+    SpeciminTestExecutor.runTestWithoutJarPaths(
+        "unusedimports",
+        new String[] {"com/example/Simple.java"},
+        new String[] {"com.example.Simple#shouldNotBeRemoved()"});
+  }
+}

src/test/resources/unusedimports/expected/com/example/ManyImports.java

@@ -0,0 +1,4 @@
+package com.example;
+
+public class ManyImports {
+}

src/test/resources/unusedimports/expected/com/example/Simple.java

@@ -0,0 +1,17 @@
+package com.example;
+
+import java.util.List;
+import java.io.*;
+import static java.util.Map.*;
+import static java.lang.Math.sqrt;
+import static java.lang.Math.PI;
+
+public class Simple {
+
+    public ManyImports shouldNotBeRemoved() {
+        List<Entry<Object, Object>> x;
+        sqrt(PI);
+        File file;
+        return null;
+    }
+}

src/test/resources/unusedimports/input/com/example/ManyImports.java

@@ -0,0 +1,15 @@
+package com.example;
+
+import java.util.List;
+import java.io.*;
+import static java.util.Map.*;
+import static java.lang.Math.sqrt;
+import static java.lang.Math.PI;
+
+public class ManyImports {
+    public void shouldBeRemoved() {
+        List<Entry<Object, Object>> x;
+        sqrt(PI);
+        File file;
+    }
+}

src/test/resources/unusedimports/input/com/example/Simple.java

@@ -0,0 +1,16 @@
+package com.example;
+
+import java.util.List;
+import java.io.*;
+import static java.util.Map.*;
+import static java.lang.Math.sqrt;
+import static java.lang.Math.PI;
+
+public class Simple {
+    public ManyImports shouldNotBeRemoved() {
+        List<Entry<Object, Object>> x;
+        sqrt(PI);
+        File file;
+        return null;
+    }
+}