Use java 7