v0.2.52..v0.2.53 changeset VagrantBuild_coverage.sh

diff --git a/scripts/jenkins/VagrantBuild_coverage.sh b/scripts/jenkins/VagrantBuild_coverage.sh
index 335a595..1b091f6 100755
--- a/scripts/jenkins/VagrantBuild_coverage.sh
+++ b/scripts/jenkins/VagrantBuild_coverage.sh
@@ -10,7 +10,7 @@ source ./SetupEnv.sh
 echo "### Configuring Hoot..."
 echo HOOT_HOME: $HOOT_HOME
 
-aclocal && autoconf && autoheader && automake --add-missing && ./configure --quiet --with-rnd --with-services --with-uitests
+aclocal && autoconf && autoheader && automake --add-missing && ./configure --quiet --with-rnd --with-services --with-josm --with-uitests
 
 if [ ! -f LocalConfig.pri ] && ! grep --quiet QMAKE_CXX LocalConfig.pri; then
     echo 'Customizing LocalConfig.pri...'