Small fix in script that downloads the project repos.
Small fix in script that downloads the project repos.

jose/defects4j,jose/defects4j,jose/defects4j,rjust/defects4j,jose/defects4j,rjust/defects4j,rjust/defects4j,rjust/defects4j