Use Java 7 for compiling