Thanks.
Another question: BaseXClient is now, it seems, in basex-api (though misfiled under /etc/java without a package name...)
Does this mean it's finally officially part of BaseX? It's somewhat inconvenient having to track this file and merge changes into our local copy whenever there's a change in the client/server protocol.
- Godmar