Fixes the compilation on JDK 8.