Use Java 7 as default.