Re: [basex-talk] java.io.StreamClosed ignorable ?