Я только что установил профилировщик в Tomcat 7 и теперь получаю исключение BindException при завершении работы

Итак, в HOWTO, который я только что прочитал, сказано добавить эти JAVA_OPTS в сценарий запуска:

-Dcom.sun.management.jmxremote=true
-Dcom.sun.management.jmxremote.port=[place port number here]
-Dcom.sun.management.jmxremote.ssl=false
-Dcom.sun.management.jmxremote.authenticate=false

Я сделал это, и он работает, но Tomcat не закрывается и дает мне

java.net.BindException: Address already in use

когда я выполняю сценарий выключения.

Решено: это CATALINA_OPTS, а не JAVA_OPTS. HOWTO ошибочны. Ссылка: Документы Tomcat по профилировщику