...
To actually use the new version the setting for JAKARTA must be changed in e.g. ~srs/scripts/java-env.sh
Notes
There is now a tomcat 7.0, but perhaps we don't want to try it yet.
The Fermi servers are all running tomcat 5.5, maybe we could simplify things by changing to tomcat 6?
...