}
// - attributes values
for(int i=0; i<ea.getAttributeNames().size(); i++) {
if(! ea.attributeValue(ea.getAttributeNames().get(i))
.equals(eb.attributeValue(eb.getAttributeNames().get(i)))) {
return new Difference(a, b, "Element attribute values are different");
}
}
// - element type