target "jgit-4.10" with source configurePhase include "projects/jetty-9.4.x.tpd" include "orbit/R20201130205003-2020-12.tpd" location "https://download.eclipse.org/releases/2018-12/" { org.eclipse.osgi lazy }