Pin to OpenJDK 1.7.0_51