PLF-4819 : gatein.jcr.datasource.managed isn't used for Tomcat distribution