Re: [gsoc] A great proposal for a JaCoCo Jenkins plugin