ev.mk:  Use java 1.7