Expanded the Attribute set available for Tomcat's Server.xml