Re: [basex-talk] Memory management