Re: [basex-talk] Problem with basexgui and MacOS