Bump to JGit 4.0.0

Luca Milanesio

2015-06-12 a1cee65c7242f69f7e35978d98cea391095d7225

1
2
3
[project "main"] 
    title = Main Repositories 
    description = main group of repositories