#218: Tomcat plugin now supports both Tomcat 6 and 7.