Build #28:   another attempt at a fix for coverage reporting. on branch 1.0.2 over 6 years ago