__CLOVER_300_0.S[7002]++;return null;
} finally { }}
private IApplicationSpecification constructStandinSpecification(HttpServlet servlet)
{try { __CLOVER_300_0.M[1440]++;
__CLOVER_300_0.S[7003]++;ApplicationSpecification result = new ApplicationSpecification();
__CLOVER_300_0.S[7004]++;Resource virtualLocation = new ContextResource(servlet.getServletContext(), "/WEB-INF/");
__CLOVER_300_0.S[7005]++;result.setSpecificationLocation(virtualLocation);
__CLOVER_300_0.S[7006]++;result.setName(servlet.getServletName());
// result.setResourceResolver(_resolver);
__CLOVER_300_0.S[7007]++;return result;
} finally { }}