Re: [basex-talk] basexgui.bat doesn't run under Windows Server 2008 R2