specifying java 1.7.0_40