public void push(Namespace namespace){
  namespaceStack.add(namespace);
  namespaceCacheList.add(null);
  currentNamespaceCache=null;
  String prefix=namespace.getPrefix();
  if ((prefix == null) || (prefix.length() == 0)) {
    defaultNamespace=namespace;
  }
}

public void push ( Namespace namespace ) { namespaceStack . add ( namespace ) ; namespaceCacheList . add ( null ) ; currentNamespaceCache = null ; String prefix = namespace . getPrefix ( ) ; if ( ( prefix == null ) || ( prefix . length ( ) == 0 ) ) { defaultNamespace = namespace ; } }
pushes the given namespace onto the stack so that its prefix becomes available .
