{// ((//*:test-group)//*:test-case)/*:module
NodeList moduleNodes = (NodeList) xpath.evaluate("./*[local-name()='module']", testCase, XPathConstants.NODESET);
final int modcount = moduleNodes.getLength();
if(modcount > 0) {
ModuleManager moduleManager = statEnv.getModuleManager();
SimpleModuleResolver modResolver = new SimpleModuleResolver();
moduleManager.setModuleResolver(modResolver);
for(int j = 0; j < modcount; j++) {
Node moduleNode = moduleNodes.item(j);
String moduleId = moduleNode.getTextContent();
String moduleFileStr = xpath.evaluate("/*[local-name()='test-suite']/*[local-name()='sources']/*[local-name()='module']/@FileName[../@ID='"
+ moduleId + "']", catalog);