Set sourceCompatibility  to Java 7

Not necessary, but if we want to switch to Java 7 and use new features, we need it.