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.