4.0.0 de.uni_luebeck.isp.rvtool JUnitRV 0.2 JUnitRV http://maven.apache.org 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/ org.apache.maven.plugins maven-jar-plugin de.uni_luebeck.isp.rvtool.junitrv.RVCompiler true lib/ de.uni_luebeck.isp.rvtool.junitrv.RVAgent org.apache.maven.plugins maven-compiler-plugin 2.3.2 1.7 1.7 maven-assembly-plugin assembly.xml de.uni_luebeck.isp.rvtool.junitrv.RVCompiler true lib/ de.uni_luebeck.isp.rvtool.junitrv.RVAgent make-assembly package single org.apache.maven.plugins maven-site-plugin 3.1 org.apache.maven.plugins maven-project-info-reports-plugin 2.4 false false dependencies scm org.apache.maven.plugins maven-javadoc-plugin 2.8 org.codehaus.mojo findbugs-maven-plugin 2.4.0 High Default org.apache.maven.plugins maven-checkstyle-plugin ${project.basedir}/../../config/sun_checks.xml UTF-8 ${project.groupId} RVLib ${project.version} ${project.groupId} JavaMonitorInjection ${project.version} junit junit jar 4.10 net.sf.jopt-simple jopt-simple 4.5