Fix compilation with JDK9