Target jvm 1.7

I can't tell if this makes any difference, but we're using 7-specific
stuff anyway, so it shouldn't hurt.