Added Jenkins specific cobertura target.
envinf1 Jenkins path fix.
Revert "envinf1 Jenkins path fix."

This reverts commit 300e4535a0534979d776c373b59b75fe1472eac5.
envinf1 Jenkins path fix