Require java 1.7