API Developer Portal v3.5 CR4: <Resource> attributes are incorrect in the Tomcat server.xml