Refactor test-coverage sections to avoid clashes with jenkins-test-coverage.