code: private NameSpace getNonBlockParent()
      {
          NameSpace parent = super.getParent();
          if ( parent instanceof BlockNameSpace )
              return ((BlockNameSpace)parent).getNonBlockParent();
          else
              return parent;
      }
docs: do we need this?