Require Java version 1.7