A redundantly-named Tomcat multiple instance manager