docs: public void addActivationName(String name)
      {
          if (sealed) onSealedMutation();
          if (activationNames == null)
              activationNames = new HashSet<String>();
          activationNames.add(name);
      }