Require Java 1.7.