[jbosstools-dev] Question on Good Practice Re: Servers and Runtimes