Fixes properties tag in the generated junit xml

The generated junint xml file does not parse correctly when coverage is turned on. This fixes that.