[jboss-as7-dev] Alternative server configurations