RunConfigurationExtensionsManager API improved