¿Alguien puede ayudar con esto?

Quiero usar un Jetty 7 incrustado como punto final. Esto es lo que intenté:

public class MiniTestJetty {

@WebService(targetNamespace = "http")
public static class Calculator {

    @Resource
    WebServiceContext context;

    public int add(int a, int b) {
        return a + b;
    }
}


public static void main(String[] args) throws Exception {
    int port = 8080;
    Server server = new Server(port);

    Calculator calculator = new Calculator();
    Endpoint.publish("http://localhost:" + port + "/calc", calculator);

    server.start();
    server.join();
}

}

Pero no puedo ver si esto realmente utiliza Jetty en lugar del sun HttpServer predeterminado.

Un blog mencionado

 System.setProperty("com.sun.net.httpserver.HttpServerProvider",
       "org.mortbay.jetty.j2se6.JettyHttpServerProvider");

Pero no parece haber tal HttpServerProvider en Jetty 7.

Gracias por cualquier ayuda, Axel.