Fix the new OpenJDK 7 version