Added destroy() methods to close clusters in Servlets.