__CLOVER_3_0.S[11833]++;ServletContext context = config.getServletContext();
__CLOVER_3_0.S[11834]++;addModuleIfExists(builder, context, "/WEB-INF/" + name + "/hivemodule.xml");
__CLOVER_3_0.S[11835]++;addModuleIfExists(builder, context, "/WEB-INF/hivemodule.xml");
__CLOVER_3_0.S[11836]++;return builder.constructRegistry(Locale.getDefault());
} finally { }}
/**
* Looks for a file in the servlet context; if it exists, it is expected to be a HiveMind module
* descriptor, and is added to the builder.