Adding the port and service name to @WebService