docs: private final Set<String> getNonSmokeAndMirrorsPropertyNameSet() {
  
          /* Get the names of all the properties in the JMS Property Maps */
          /* We need a copy so that we can add extra items, and so can the caller */
          Set<String> names = new HashSet<String>();
  
          // Add the names for the two flavours of properties, without creating lists
          // and maps unnecessarily.
          if (mayHaveJmsUserProperties()) {
              names.addAll(getJmsUserPropertyMap().keySet());
          }
          if (mayHaveMappedJmsSystemProperties()) {
              names.addAll(getJmsSystemPropertyMap().keySet());
          }
  
          // The MQMD properties may be in the JmsSystemPropertyMap AND the MQMSetPropertiesMap
          // however, the Set will cater for this as it doesn't allow duplicates.
          if (hasMQMDPropertiesSet()) {
              names.addAll(getMQMDSetPropertiesMap().keySet());
          }
          return names;
      }