/** Servlet method for gracefully shutting down the JMS MsgService. */ public void destroy() { if (msgService != null) { msgService.close(); } }