Migrate to Java 7

Fixes #4