<dependency>
  <groupId>io.opentelemetry.javaagent.instrumentation</groupId>
  <artifactId>opentelemetry-javaagent-spring-webmvc-3.1</artifactId>
  <version>0.13.0</version>
</dependency>

implementation 'io.opentelemetry.javaagent.instrumentation:opentelemetry-javaagent-spring-webmvc-3.1:0.13.0'

implementation("io.opentelemetry.javaagent.instrumentation:opentelemetry-javaagent-spring-webmvc-3.1:0.13.0")

libraryDependencies += "io.opentelemetry.javaagent.instrumentation" % "opentelemetry-javaagent-spring-webmvc-3.1" % "0.13.0"

@Grapes(
  @Grab(group='io.opentelemetry.javaagent.instrumentation', module='opentelemetry-javaagent-spring-webmvc-3.1', version='0.13.0')
)

<dependency org="io.opentelemetry.javaagent.instrumentation" name="opentelemetry-javaagent-spring-webmvc-3.1" rev="0.13.0" />

[io.opentelemetry.javaagent.instrumentation/opentelemetry-javaagent-spring-webmvc-3.1 "0.13.0"]

'io.opentelemetry.javaagent.instrumentation:opentelemetry-javaagent-spring-webmvc-3.1:jar:0.13.0'