// This code is rather broken, as this now assumes that we build source factories for every
// loader. It is not fully compatible with having compiled registries, and we now have a hack
// to make it work.
//
if (loader instanceof PrivilegedNamespaceSourceLoader) {
PrivilegedNamespaceSourceLoader privilegedLoader = (PrivilegedNamespaceSourceLoader)loader;
if (privilegedLoader.isPrivilegedNamespace(namespace)) {
configAdapter.addPrivilegedNamespace(namespace);
}
}
for (String prefix : loader.getPrefixes()) {