io.zipkin.brave brave-instrumentation-parent 6.1.0 4.0.0 brave-instrumentation-servlet-jakarta Brave Instrumentation: Servlet (Jakarta) brave.jakarta.servlet ${project.basedir}/../.. ${project.groupId} brave-instrumentation-http ${project.version} jakarta.servlet jakarta.servlet-api ${jakarta.servlet} provided ${project.groupId} brave-instrumentation-http-tests-jakarta ${project.version} test org.eclipse.jetty jetty-servlet ${jetty11.version} test org.eclipse.jetty jetty-util ${jetty11.version} test org.eclipse.jetty jetty-slf4j-impl ${jetty11.version} test