JACOCO_TOOL_DEFAULT_VERSION

JaCoCo coverage tool version used by default.