public DefaultPropertySource(RequestContext context)
{try { __CLOVER_78_0.M[454]++;
__CLOVER_78_0.S[1972]++;DelegatingPropertySource result = new DelegatingPropertySource();
__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(
EXTENSION_PROPERTY_SOURCE_NAME,
IPropertySource.class);
__CLOVER_78_0.S[1980]++;result.addSource(source);
}}