if (Namespaces.ODE_EXTENSION_NS.equals(ns)) prefix = "ode";
if (prefix != null && prefix.length() > 0) prefix = prefix + ":";
try {
declareVariable(prefix + localName, null);
} catch (XPathException e) {
throw new StaticError(e);
}
return super.bindVariable(fingerprint);
}