Tweak messages for outdated JREs.
Rename 'mkfile' to 'makefile'.
Off by 1 error in coverage calculations.