My experimental stuff for JaCoCo