ReportServlet extends HttpServlet { @Override public void destroy() { servletConfig = null; }  @Override void init(ServletConfig config); @Override void destroy();  }
@Test public void testDestroy() { new ReportServlet().destroy(); }