Fix a compilation pb that comes with Java 8