Défects4j and Nopol log (stdout and stderr).