Fix compilation on JDK8