Explicitly target Java 1.7