public void push(Attribute att) {
    final List<Namespace> toadd = new ArrayList<>(1);
    final Namespace mns = att.getNamespace();
    // check to see whether the Namespace is new-to-scope.
    Namespace[] newscope = checkNamespace(toadd, mns, scope[depth]);

    pushStack(mns, newscope, toadd);
  }
public void push(Attribute att)