*/
public void savePreferences() {
// create a task for downloading plugins if the user has activated, yet not downloaded,
// new plugins
//
final PluginPreference preference = getPluginPreference();
final List<PluginInformation> toDownload = preference.getPluginsScheduledForUpdateOrDownload();
final PluginDownloadTask task;
if (toDownload != null && ! toDownload.isEmpty()) {
task = new PluginDownloadTask(this, toDownload, tr("Download plugins"));
} else {
task = null;