Tweak coverage project to work with JMockit and Jacoco.