target "jetty-9.4.20" with source configurePhase

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