And another note on the future of BaseX: BaseX 7.8.x and (possibly)
BaseX 7.9 will be the last versions based on Java 6. With BaseX 8.0,
we'll switch - and we have already switched - to Java 7. We have
chosen to move on because the official support for Java 6 has ended
quite a while ago. Next, Java 7, gives us much better OS support for
local file operations and numerous other minor features that allow us
to further improve the performance and quality of BaseX.
I hope you all will be able to move on with us; have fun,
Christian