diff --git a/jbmc/regression/jbmc/classpath-jar-load-whole-jar/pom.xml b/jbmc/regression/jbmc/classpath-jar-load-whole-jar/pom.xml
index ec40251b157..a87d85ac3bd 100644
--- a/jbmc/regression/jbmc/classpath-jar-load-whole-jar/pom.xml
+++ b/jbmc/regression/jbmc/classpath-jar-load-whole-jar/pom.xml
@@ -4,9 +4,15 @@
          xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
   <modelVersion>4.0.0</modelVersion>
   <groupId>org.cprover.regression</groupId>
-  <artifactId>regression</artifactId>
+  <artifactId>regression.jbmc.classpath-jar-load-whole-jar</artifactId>
   <version>1.0-SNAPSHOT</version>
 
+  <parent>
+    <groupId>org.cprover.regression</groupId>
+    <artifactId>regression.jbmc</artifactId>
+    <version>1.0-SNAPSHOT</version>
+  </parent>
+
   <build>
     <finalName>jar-file</finalName>
     <plugins>
@@ -24,9 +30,4 @@
     </plugins>
   </build>
 
-  <properties>
-   <maven.compiler.source>1.8</maven.compiler.source>
-   <maven.compiler.target>1.8</maven.compiler.target>
-  </properties>
-
 </project>
diff --git a/jbmc/regression/jbmc/classpath-jar-load-whole-jar/target/jar-file.jar b/jbmc/regression/jbmc/classpath-jar-load-whole-jar/target/jar-file.jar
deleted file mode 100644
index d78794d6973..00000000000
Binary files a/jbmc/regression/jbmc/classpath-jar-load-whole-jar/target/jar-file.jar and /dev/null differ