Re: [jboss-as7-dev] Modifying configuration using jboss-admin.sh