JCR-2173 : jboss.server.config.dir is not mentioned in the doc