target "jetty-9.4.x" with source configurePhase

location jetty-9.4.25 "https://archive.eclipse.org/jetty/updates/jetty-bundles-9.x/jetty-bundles-9.x/9.4.25.v20191220/" {
	org.eclipse.jetty.client [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.client.source [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.continuation [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.continuation.source [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.http [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.http.source [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.io [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.io.source [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.security [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.security.source [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.server [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.server.source [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.servlet [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.servlet.source [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.util [9.4.25.v20191220,9.4.25.v20191220]
	org.eclipse.jetty.util.source [9.4.25.v20191220,9.4.25.v20191220]
}