return;
if (!plugin.hasConfigurationProvider()) {
showNotConfigurableMessage(plugin, shell);
return;
}
IConfigurationProvider provider = pluginManager
.instantiateConfigurationProvider(plugin);
if (provider == null) {
showNotConfigurableMessage(plugin, shell);
return;
}
Configuration oldConfiguration = plugin.getConfiguration();
Configuration configuration = provider.provideConfiguration(shell,
oldConfiguration);
if (configuration == null)
return;
plugin.setConfiguration(configuration);
}