code: public static StanzaIdElement getStanzaId(Message message) {
          return message.getExtension(StanzaIdElement.ELEMENT, StableUniqueStanzaIdManager.NAMESPACE);
      }
docs: Return the stanza-id element of a message.
  
  @param message message
  @return stanza-id element of a jid, or null if absent.