Use java 1.7 by default