docs: public void removeUserProperties(UserProperties userProperties)
      {
          if (m_htRegistration.get(userProperties.getKey()) != null)
              m_htRegistration.remove(userProperties.getKey());
      }