Spotfire Server: How to find the version of Tomcat?