use java 7 for compilation