make java 7 the default