update Randoop to 4.3.3 (#566)

README_DEVELOPER.md

@@ -48,10 +48,6 @@ https://github.com/EvoSuite/evosuite/releases/download
 Randoop is downloaded from:  
 https://github.com/randoop/randoop/releases/download
 
-It should be noted that the `init.sh` script currently gets Randoop version 4.2.5
-which is about three years old.  At some point we should upgrade to a newer
-version; the current version is 4.3.2.
-
 ### Setting up Gradle
 Gradle is downloaded from `HOST_URL`.  As the reproducible bugs in the defect4j
 project repositories are several years old, we must use an older version of gradle

init.sh

@@ -177,7 +177,7 @@ cd "$DIR_LIB_RT"  && download_url "$EVOSUITE_URL/$EVOSUITE_RT_JAR"
 #
 echo
 echo "Setting up Randoop ... "
-RANDOOP_VERSION="4.2.5"
+RANDOOP_VERSION="4.3.3"
 RANDOOP_URL="https://github.com/randoop/randoop/releases/download/v${RANDOOP_VERSION}"
 RANDOOP_ZIP="randoop-${RANDOOP_VERSION}.zip"
 RANDOOP_JAR="randoop-all-${RANDOOP_VERSION}.jar"