Fix coverage report submission failure#294

cogmission merged 1 commit intonumenta:masternumenta/htm.java:masterfrom

cogmission:godin_coverage_fixcogmission/htm.java:godin_coverage_fixCopy head branch name to clipboard