Re: [jboss-as7-dev] Extensions in host.xml + individual server overrides