4.0.0 org.eclipse.egit egit-parent 4.1.0-SNAPSHOT org.eclipse.egit.doc eclipse-plugin Git Team Provider (Documentation) maven-antrun-plugin ant optional 1.5.4 generate-sources run