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

The CMSStartServlet has been modified to remove the code that calls GenericServlet.destroy() because it is an empty default implementation which was intended to provide convenience for writing servlets. Ticket #896 -- Endi S. Dewata