ServletContext context = config.getServletContext();
addModuleIfExists(builder, context, "/WEB-INF/" + name + "/hivemodule.xml");
addModuleIfExists(builder, context, "/WEB-INF/hivemodule.xml");
return builder.constructRegistry(Locale.getDefault());
}
/**
* 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.