Use Java 1.7+