Re: [basex-talk] problem using BaseX GUI