target "jgit-4.12" with source configurePhase include "projects/jetty-9.4.20.tpd" include "orbit/S20190819183153.tpd" location "http://download.eclipse.org/releases/2019-06/" { org.eclipse.osgi lazy }