Make java 1.7 the default.