Re: [basex-talk] Using other Java runtimes?