Fixes the compilation with Java Runtime Environment 6.