Re: [basex-talk] High cpu utilization