Require Java 1.7