Re: [basex-talk] OpenJDK vs. Oracle JDK versus ...