Fix compilation with JDK11