Re: [basex-talk] BaseX: moving to Java 7?