Build with source (and implicitly target) set to Java 1.7

Like #4 but different!