Require compilation with Java 8