fixup! Force java 1.7 to be used