Rename JGit progress monitor - fix findbugs warning, clarify