Re: [basex-talk] Problem in GUI BaseX 7.1