Migrate coverage plugin to JaCoCo