Re: [jboss-dev] Problem detecting modified deployments