addChildren(res, roleOutput, roleConfig);
res.add(roleOutput);
Configuration instrConfig = (Configuration) context.get("keel.config.instr");
Output instrOutput = res.createOutput("instrument");
addChildren(res, instrOutput, instrConfig);
res.add(instrOutput);
}
catch (ConfigurationException ce)