Re: [basex-talk] reporting a BUG in the IOFile class