Sv comp script java 8

[Ao-senXiong]

No description provided.

[sohah]

@Ao-senXiong , this pull request needs a few changes:

1. the sv-comp script needs to use relative paths, you cannot use your username in the script.
2. the instructions on the readme is not accurate, and detailed. Please, have more detailed instructions about where we get the benchmarks we test, the directory structure between the sv-comp benchmarks and SPF, and please use relative directory structure in your command to run the script, i.e., avoid using your username, and use a relative path, that allows the user to just copy and paste your command if he/she got the directory structure in the right way.

[Ao-senXiong]

@Ao-senXiong , this pull request needs a few changes:

1. the sv-comp script needs to use relative paths, you cannot use your username in the script.
2. the instructions on the readme is not accurate, and detailed. Please, have more detailed instructions about where we get the benchmarks we test, the directory structure between the sv-comp benchmarks and SPF, and please use relative directory structure in your command to run the script, i.e., avoid using your username, and use a relative path, that allows the user to just copy and paste your command if he/she got the directory structure in the right way.

Sure, thanks! I will make the changes after the script is stable and usable.