Annotate HelloService so it produces a better WSDL