Rename JGit progress monitor - fix findbugs warning, clarify
Merge branch 'master-rename-ProgressMonitor-for-findbugs' into master-work