use java 1.7 for non-demo modules