4.0.0 de.uni_luebeck.isp.rvtool Example 0.2.1 jar Example isp-deployment Internal Releases https://sourcecode.isp.uni-luebeck.de/nexus/content/repositories/releases/ isp-deployment Internal Releases http://sourcecode.isp.uni-luebeck.de/nexus/content/repositories/snapshots/ test ${project.groupId} JUnitRV ${project.version} test ${project.groupId} Z3Support ${project.version} test ${project.groupId} EQSupport ${project.version} test ${project.groupId} Salt ${project.version} org.apache.maven.plugins maven-source-plugin 2.4 attach-sources jar attach-test-sources test-jar org.apache.maven.plugins maven-compiler-plugin 2.3.2 1.8 1.8 -Xlint:all true true org.apache.maven.plugins maven-surefire-plugin 2.15 false **/*.java maven-jar-plugin 2.6 test-jar package test-jar UTF-8