Just curious to know why Defects4J was not used in the evaluation which is more popular and widely used?