jenkinsci/jacoco-plugin — pull request #8 by yvesdm (2012-07-19 13:09:15+00:00)
Title: Fix for JENKINS-14502

https://issues.jenkins-ci.org/browse/JENKINS-14502

Changed the do{} while() into a while() {}