Re: [jboss-dev] Small boottime improvement