Pin to open JDK 1.7.0_51