enforcing java 7