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