How to set the default name of -Dotel.service.name to spring.application.name

[mitht]

How to make the OpenTelemetry Java agent automatically retrieve the spring.application.name configuration of the Spring Boot application and set it as the default value for -Dotel.service.name?