Explicitly select Java 7 to get rid of an Eclipse warning.