[jboss-dev] Re: Revert 80237 from AS trunk