Fixes Update JGit to 5.0.2 Release Date: Tuesday, July 31, 2018 Release Type: Service release (bug fixes only)