Allow compilation with JDK8