The previous version of the API employs `configuration.getPropagator()` to hide the propagation of updates of the configuration. This has changed in FeatureIDE 3.6.1. Thanks for suggesting the correct code go to Sebastian Krieter.