target "jetty-9.4.x" with source configurePhase

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