[jboss-user] [Beginners Corner] - Re: best way to manage a lot of start options?