Configure jenv to use java 7