jacoco/jacoco — pull request #159 by marchof (2013-11-16 11:54:01+00:00)
Title: New API org.jacoco.core.tools

Create new API package org.jacoco.core.tools for high level tools shared by different JaCoCo integrations.