Require Java 7.