Used to deploy Overture SNAPSHOTs to the 'pvj'
artifactory repository to support the tool development
in the AGCO project. Also note that this build job passes
the '-Dtests.javagen.javac' property to run all of the
VDM-to-Java code generator tests.