Re: [basex-talk] HashMap insertion bug - node ID is different on get than on put