}
return result;
}
public void setNamespace(String prefix, String name) {
NamespaceImpl ns = namespacesMap.get(prefix);
if (ns != null) {
if (!ns.getName().equals(name)) {
ns.setName(name);
contentsChanged = true;
}
}
else {
namespacesMap.put(prefix, new NamespaceImpl(prefix, name));
contentsChanged = true;
}
}