public static XmlGlobalAttribute makeXmlGlobalAttributeRespectingNamespace(String name, String namespaceName, String surfaceForm, KvCons namespaceTable) {
    { StringWrapper namespaceUri = ((StringWrapper)(namespaceTable.lookup(StringWrapper.wrapString(namespaceName))));

      if (namespaceUri == null) {
        throw ((BadArgumentException)(BadArgumentException.newBadArgumentException("Undefined Namespace for Attribute!").fillInStackTrace()));
      }
      return (Stella.makeXmlGlobalAttributeInternal(name, namespaceName, namespaceUri.wrapperValue, surfaceForm));
    }
  }