org.eclipse.egit org.eclipse.egit.ui 2.3.1.201302201838-r 2.3.1.201302201838-r 2.3.1.201302201838-r 20171206201905