Howdy --

I'm getting a stack trace putting the following query (exact, unmodified) through the REST POST interface on a BaseX snapshot as of this morning:

$ curl -X POST -T - -H 'Content-Type: application/xml' \

    http://admin:admin@localhost:8984/rest <<EOF

<rest:query xmlns:rest="http://basex.org/rest">

  <rest:text>

    /

  </rest:text>

  <rest:context>

    <root>

      <foobar:root xmlns:foobar="http://example.com/foobar">

        <foobar:b/><foobar:b/><foobar:b/>

      </foobar:root>

    </root>

  </rest:context>

</rest:query>

EOF

Unexpected error: null

(yes, it requires _three_ of the <foobar:b/> elements before this happens -- execution is fine with just two)

Version: BaseX 7.1.2 beta                                                                                                                                                                                                                                                                                            [6/1859]

Java: Oracle Corporation, 1.7.0_02

OS: Linux, amd64

Stack Trace: 

java.lang.NullPointerException

  org.basex.data.NSNode.delete(NSNode.java:103)

  org.basex.data.NSNode.delete(NSNode.java:103)

  org.basex.data.NSNode.delete(NSNode.java:103)

  org.basex.data.Namespaces.delete(Namespaces.java:198)

  org.basex.query.util.DataBuilder.stripNS(DataBuilder.java:313)

  org.basex.api.rest.RESTPost.run(RESTPost.java:121)

  org.basex.api.rest.RESTServlet.run(RESTServlet.java:64)

  org.basex.api.rest.RESTServlet.doPost(RESTServlet.java:30)

  javax.servlet.http.HttpServlet.service(HttpServlet.java:727)

...