Doc: spring-agent.jar has changed name [SPR-6469]

[spring-projects-issues]

Eberhard Wolff opened SPR-6469 and commented

spring-agent.jar is now org.springframework.instrument-3.0.0.jar . The documentation needs to be changed accordingly.

---

Referenced from: commits 7a1c4d2

[spring-projects-issues]

Costin Leau commented

Fixed (the next nightly build should reflect the changes).