Require java 7

Fixes #1.