cobertura/cobertura — pull request #131 by sanjaydixitb (2014-01-30 07:41:47+00:00)
Title: Correct Instrument Batch file

Incorrect (jar) file names in Batch file have been corrected