Disabling build with Java 17, because we are running into https://bugs.openjdk.java...