[jboss-user] [Installation, Configuration & DEPLOYMENT] - Re: Re-start JBOSS if DB is re-started