code: public void deleteServerRegistrationHTTP(RESTRequest request,
                                               int clientID,
                                               ServerNotificationRegistration serverNotificationRegistration,
                                               String registrationID,
                                               JSONConverter converter) {
          //Get the client area
          ClientNotificationArea clientArea = getInboxIfAvailable(clientID, null);
  
          if (registrationID != null) {
              String[] artifacts = registrationID.split("_");
              int filterID = Integer.parseInt(artifacts[0]);
              int handbackID = Integer.parseInt(artifacts[1]);
  
              //Since this is not coming from our java client, the registration object will not have any IDs on them. So set the IDs before continuing.
              serverNotificationRegistration.filterID = filterID;
              serverNotificationRegistration.handbackID = handbackID;
          }
  
          clientArea.removeServerNotificationListener(request, serverNotificationRegistration, serverNotificationRegistration.operation == Operation.RemoveAll, converter,
                                                      true);
      }
docs: Delete server-side notifications, represented by the 3-tuple {source mbean, listener mbean, registration ID}.
  Called from direct HTTP users.