As far I understood, back in 2019, the Java 7 vs Java 8 support was an issue that did not allowed one to (easily) run kGenProg on Defects4J. Given that Defects4J v2.0 (the current version) does now run/support Java 8, @shinsuke-mat any chance you could provide a quick step-by-step on how to run kGenProg on any Defects4J bug, e.g., Closure-133.
This is a follow up thread of issue #641.
As far I understood, back in 2019, the Java 7 vs Java 8 support was an issue that did not allowed one to (easily) run kGenProg on Defects4J. Given that Defects4J v2.0 (the current version) does now run/support Java 8, @shinsuke-mat any chance you could provide a quick step-by-step on how to run kGenProg on any Defects4J bug, e.g., Closure-133.
Thanks in advance.