Use Java 1.7 instead for now.