//nop;
}
public String areaLabel(Element area) {
NamedNodeMap domAttr = area.getAttributes();
AttList attr = new AttList(domAttr, dh);
String label = null;
if (attr.getValue("label") != null) {
// If this area has a label, use it
label = attr.getValue("label");
} else {
// Otherwise, if its parent is an areaset and it has a label, use that
Element parent = (Element) area.getParentNode();
NamedNodeMap pdomAttr = parent.getAttributes();
AttList pAttr = new AttList(pdomAttr, dh);
if (parent != null
&& parent.getNodeName().equals("areaset")
&& pAttr.getValue("label") != null) {
label = pAttr.getValue("label");
}
}
return label;
}