Re: [jboss-as7-dev] patching is problematic