docs: public static Collection<String> getPropertiesNames(Stanza packet) {
          JivePropertiesExtension jpe = (JivePropertiesExtension) packet.getExtension(JivePropertiesExtension.NAMESPACE);
          if (jpe == null) {
              return Collections.emptyList();
          }
          return jpe.getPropertyNames();
      }