Re: [basex-talk] BaseX gui, windows 10 and java