Re: [jboss-dev] Different Boottimes from pruning