Problems of Setting up defects4J

[Wang-dongyu123]

I have some problems when use the command of Step4.Although the defects4j successfully initialized but still can not run the commad. Thanks for the guidance of author rujust,I found /defects4j/project_repos haven't unzip the defects4j-repos.zip.The correct catalogue is as follows: /project_repos: closure-compiler.git commons-cli.git commons-codec.git commons-collections.git commons-compress.git commons-csv.git commons-jxpath.git commons-lang.git commons-math.git gson.git jackson-core.git jackson-databind.git jackson-dataformat-xml jfreechart joda-time.git jsoup.git mockito.git README

make sure the files above are under correct folder to exclude the problems of "couldn't find project repository". Thanks to René again,hope the project become better.