jenkinsci/cobertura-plugin — pull request #12 by mheinzerling (2012-12-11 11:54:23+00:00)
Title: Jenkins 16038

see https://issues.jenkins-ci.org/browse/JENKINS-16038