Use Java 7 by default