About Jacoco Extras

Additional Jacoco mojos