4.0.0 org.eclipse.egit egit-parent 5.2.0.201811281532-m3 org.eclipse.egit.core eclipse-plugin Git Team Provider (Core) org.eclipse.tycho tycho-source-plugin