Re: [jboss-as7-dev] rename jboss-cli.sh?