Fix for compilation on openjdk8