Use java 7 by default