Merge pull request diffblue#572 from diffblue/owen-jones-diffblue/fix-webgoat-xxe-library-install

Delete call to old install script

Author: smowton

benchmarks/GENUINE/WebGoat.sh

@@ -25,8 +25,6 @@ if [ -z "$OUTPUT_DIR" ]; then
     OUTPUT_DIR=$SECURITY_SCANNER_HOME/GENUINE
 fi
 
-(cd $LIB_DIR && ./install_javax_xxe_library.sh)
-
 if [[ ! -d $REPO_DIR ]]; then
     # Clone the repository and checkout a commit which builds
     mkdir -p $REPO_DIR