Java 17 instead of Java 11 (i.e. build with - and therefore effectively require) #650