Use Java 7 for source and building