code: public void removeActivationName(String name)
      {
          if (sealed) onSealedMutation();
          if (activationNames != null)
              activationNames.remove(name);
      }
docs: Remove a name from the list of names forcing the creation of real
  activation objects for functions.
  
  @param name the name of the object to remove from the list