prefer java 1.7 on os x