use java 1.7 for compilation