Tengo un servidor Windows con Apache Tomcat 8 y GeoServer 2.17. El JDK instalado en la configuración es antiguo, JDK 1.8.0_73.
Ahora he instalado el JDK 1.8.0_251. He cambiado mi variable env global JAVA_HOME= C:\Progra ~1 \Java\jdk1.8.0_251\jre de JAVA_HOME= C:\Progra ~1 \Java\jdk1.8.0_73\jre
No puedo encontrar en ningún sitio un archivo conf o XML o de otro tipo en la carpeta Tomcat que apunte específicamente a una versión particular de Java. Asumí entonces que se seguiría la variable de entorno Java_Home.
He reiniciado Tomcat y luego he reiniciado la máquina por completo. Cuando Tomcat se inicia, voy a la página de Estado de GeoServer, y dice claramente que la JVM en uso sigue siendo la versión _073.
¿Alguna pista sobre dónde puedo encontrar que Tomcat está configurado para usar una JVM en particular?