Re: [basex-talk] GUI doesn't quit on Mac