__CLOVER_78_0.S[1973]++;HttpServlet servlet = context.getServlet();
__CLOVER_78_0.S[1974]++;IApplicationSpecification spec = context.getApplicationSpecification();
__CLOVER_78_0.S[1975]++;result.addSource(new PropertyHolderPropertySource(spec));
__CLOVER_78_0.S[1976]++;result.addSource(new ServletPropertySource(servlet.getServletConfig()));
__CLOVER_78_0.S[1977]++;result.addSource(new ServletContextPropertySource(servlet.getServletContext()));
__CLOVER_78_0.S[1978]++;if ((((spec.checkExtension(EXTENSION_PROPERTY_SOURCE_NAME)) && (++__CLOVER_78_0.CT[373] != 0)) || (++__CLOVER_78_0.CF[373] == 0))){
{
__CLOVER_78_0.S[1979]++;IPropertySource source =
(IPropertySource) spec.getExtension(