public void push(String prefix,String uri){
  if (uri == null) {
    uri="";
  }
  Namespace namespace=createNamespace(prefix,uri);
  push(namespace);
}

public void push ( String prefix , String uri ) { if ( uri == null ) { uri = "" ; } Namespace namespace = createNamespace ( prefix , uri ) ; push ( namespace ) ; }
adds a namepace to the stack with the given prefix and uri
