Build metrics-jetty9 for Java 7.

I'd forgotten that Jetty 9 was Java 7-only.