4.0.0 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/ de.uni_luebeck.isp.rvtool JavaMonitorInjection 0.2.2 jar JavaMonitorInjection http://maven.apache.org 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.12 maven-source-plugin 2.4 attach-sources deploy jar UTF-8 junit junit 4.10 test hamcrest-core org.hamcrest ${project.groupId} RVLib ${project.version} org.hamcrest hamcrest-core 1.1 test org.javassist javassist 3.24.0-GA guava com.google.guava jar 27.0.1-jre