[Pki-devel] [PATCH] 421 Removed redundant GenericServlet.destroy() invocation.