¿Cuál es la mejor manera de configurar la zona horaria en Tomcat para una sola aplicación web? He visto opciones para cambiar los parámetros de la línea de comandos o las variables de entorno para Tomcat, pero ¿hay alguna forma de configurarlo que sea independiente en el archivo WAR y no dependa de ninguna configuración de Tomcat?

Edición: para volver a enfatizar, estoy buscando una solución que pueda estar contenida en un archivo WAR, que no dependa de la configuración de Tomcat. En otras palabras, ¿puede configurarse una aplicación web para tener una zona horaria diferente a otras aplicaciones que se ejecutan en la misma instancia de Tomcat?