add test for lower case class name

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

@@ -0,0 +1,18 @@
+package org.checkerframework.specimin;
+
+import java.io.IOException;
+import org.junit.Test;
+
+/**
+ * This test checks that a simple Java file with a lowercase class name (against convention but
+ * allowed!) doesn't cause Specimin any problems.
+ */
+public class LowercaseClassTest {
+  @Test
+  public void runTest() throws IOException {
+    SpeciminTestExecutor.runTestWithoutJarPaths(
+        "lowercaseclass",
+        new String[] {"com/example/simple.java"},
+        new String[] {"com.example.simple#test()"});
+  }
+}

src/test/resources/lowercaseclass/expected/com/example/simple.java

@@ -0,0 +1,7 @@
+package com.example;
+
+class simple {
+    static void test() {
+        simple s = new simple();
+    }
+}

src/test/resources/lowercaseclass/input/com/example/simple.java

@@ -0,0 +1,7 @@
+package com.example;
+
+class simple {
+    static void test() {
+        simple s = new simple();
+    }
+}