[jboss-user] [Beginner's Corner] - Re: How do I check and set the URL and port number for JBoss 5?