enforce java 7