target "jgit-4.10" with source configurePhase include "projects/jetty-9.4.24.tpd" include "orbit/R20191126223242-2019-12.tpd" location "http://download.eclipse.org/releases/2018-12/" { org.eclipse.osgi lazy }