Check randoop.sh and randoop.credit

[rjust]

@mernst Defects4J (java-8-support branch) now invokes a supported test generation tool using a very generic interface -- a shell script with properly exported environment variables.

Can you please check that the following two Randoop-related files are correct:

• randoop.sh

• randoop.credit

Please feel free to make changes directly. Also, you can test the Randoop integration by executing gen_tests.pl:
./gen_tests.pl -grandoop -pLang -v2f -n1 -b30 -o/tmp/d4j_randoop

Upon success, the generated Randoop test suite is located at: /tmp/d4j_randoop/Lang/randoop/1/Lang-2f-randoop.1.tar.bz2

Thanks,
René