tree 69cf0e118df062fa5cc335f5e7a726f7192cec7d
parent ea10f56889a623370c68ead9fd95bdea5c95e3b9
author Gary Gregory <gardgregory@gmail.com> 1564494113 -0400
committer Gary Gregory <gardgregory@gmail.com> 1564494113 -0400

Revert "Use current version of JaCoCo."

This reverts commit c419630e2342f6acc2109fb0773c55f1a96d9f67.