Moving to Java 7

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