如何从JaCoCo报告中提取总覆盖率数值

我想从JaCoCo里提取总覆盖率的数值，用来做外部报告。我能在JaCoCo的HTML报告里看到总覆盖率的百分比，但在jacoco.xml文件里找不到这个数值。

我已经尝试了这些步骤：

• 用JaCoCo Maven插件生成了报告
• 在HTML报告里能看到覆盖率的百分比，但jacoco.xml和jacoco.csv文件里都没有这个数值

从HTML里提取这个信息不太可靠，我更希望能从数据源里直接获取。

有没有合适的建议？非常感谢！

备注：内容来源于stack exchange，提问作者techjourneyman