docs: public String stripThreadName(String threadId)
      {
          if (threadId == null)
          {
              return null;
          }
          else
          {
              int index = threadId.lastIndexOf('@');
              return index >= 0 ? threadId.substring(0, index) : threadId;
          }
      }