[jboss-user] [Installation, Configuration & DEPLOYMENT] - Re: Server can not be shut down after RMI ports were changed