Merge pull request diffblue#565 from diffblue/owen-jones-diffblue/fix-webgoat-sh

Fix mistake in WebGoat.sh

Author: NathanJPhillips

benchmarks/GENUINE/WebGoat.sh

@@ -20,7 +20,7 @@ REPO_DIR=$SCRIPT_DIR/WebGoat
 DEPLOY_DIR=$REPO_DIR
 FILES_DIR=$SCRIPT_DIR/WebGoat_files
 LIB_DIR=$SCRIPT_DIR/../LIBRARIES
-MODELS_LIB_DIR=${LIB_DIR}/LIBRARIES/models
+MODELS_LIB_DIR=${LIB_DIR}/models
 if [ -z "$OUTPUT_DIR" ]; then
     OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
 fi