__CLOVER_300_0.S[6987]++;ServletContext context = servlet.getServletContext();
__CLOVER_300_0.S[6988]++;String servletName = servlet.getServletName();
__CLOVER_300_0.S[6989]++;String expectedName = servletName + ".application";
__CLOVER_300_0.S[6990]++;Resource webInfLocation = new ContextResource(context, "/WEB-INF/");
__CLOVER_300_0.S[6991]++;Resource webInfAppLocation = webInfLocation.getRelativeResource(servletName + "/");
__CLOVER_300_0.S[6992]++;Resource result = check(webInfAppLocation, expectedName);
__CLOVER_300_0.S[6993]++;if ((((result != null) && (++__CLOVER_300_0.CT[1220] != 0)) || (++__CLOVER_300_0.CF[1220] == 0))){
__CLOVER_300_0.S[6994]++;return result;}