/**
  * Web service operation to delete a spy in spy list.
  *
  * @param name name of spy to be deleted
  * @return result of deleting
  */
 @WebMethod(operationName = "deleteSpy")
 public String deleteSpy(@WebParam(name = "name") String name) {
   Spy spy;
   if ((spy = spyList.get(name)) == null) {
     return "Spy doesn't exist. No deletion made.";
   }
   spyList.delete(spy);
   return String.format("Spy <%s> was deleted from the list.", name);
 }