Compile jbmc/classpath-jar-load-whole-jar test sources

Fix pom.xml for compilation,
remove obsolete pre-compiled jar file.

Author: peterschrammel

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>