Use java 1.7