Remove obsolete comment.
Add ExecFileLoader.save() methods for better code re-use.
Merge branch 'master' of github.com:jacoco/jacoco into MergeMojo
Use new save method to reduce code duplication
Updated credits