Re: [jboss-as7-dev] Providing server name on command line?