Alguém pode ajudar com isso?

Eu quero usar um Jetty 7 incorporado como ponto de extremidade. Isso é o que eu tentei:

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();
}

}

Mas não consigo ver se isso realmente usa o Jetty em vez do sol padrão HttpServer.

Um blog mencionado

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

Mas não parece haver tal HttpServerProvider no Jetty 7.

Obrigado por qualquer ajuda, Axel.