NodeList properties = ((Element) n).getElementsByTagName("property");
for(int j = 0; j < properties.getLength(); j++) {
Node pn = properties.item(j);
if(pn.getNodeType() == Node.ELEMENT_NODE) {
Element propertyElement = (Element) pn;
Property p = JunitresultFactory.eINSTANCE.createProperty();
p.setName(propertyElement.getAttribute("name"));
p.setValue(propertyElement.getAttribute("value"));
o.getProperties().add(p);
}
}
}
}