|| js1.getInvokeExpr().getMethod().getSignature().equals("<dk.brics.xact.XML: java.util.Map getThreadNamespaceMap()>"))
&& js2.getInvokeExpr().getMethod().getSignature().equals("<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>")
&& js1.getDefBoxes().size() == 1 && js1.getDefBoxes().get(0) instanceof AbstractValueBox
&& js2.getInvokeExpr() instanceof JInterfaceInvokeExpr) {
Value v = ((AbstractValueBox) js1.getDefBoxes().get(0)).getValue();
JInterfaceInvokeExpr put = (JInterfaceInvokeExpr) js2.getInvokeExpr();
if (put.getBase().equivTo(v)) {
Origin origin = new Origin(m.getDeclaringClass().getName() + "." + m.getName(), getLineNumber(u), 0);
String prefix = getConstantString(put.getArg(0), origin);
String uri = getConstantString(put.getArg(1), origin);
String oldUri = namespaces.put(prefix, uri);
if (oldUri != null && !uri.equals(oldUri)) {
throw new XMLException("Conflicting namespace bindings of prefix " + prefix + " at " + origin, origin);
}
Debug.println(1, true, "Detected namespace declaration: " + prefix + " -> " + uri);