Process to update the demo server

Well, apparently every other machine had a tomcat > 7.0.50, some of them appear to have it installed manually.

What is the recommended version of tomcat?