Adopt change in TomcatInstanceManager to make it compatible with Tomcat 7.0.53 - bug 440190
5 files changed