Fix the build on Java 8