Usage example on a Defects4J bug

[jose]

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.