WGARemoteServer remote = wgaSyncInfo.getServer();
remote.getServices().deactivatePlugin(remote.getSession(), ((WGAPluginResourceVariant)wgaSyncInfo.getRemote()).getPluginInfo());
committedResources.add(wgaSyncInfo.getLocal());
} else if (change == SyncInfo.ADDITION) {
WGARemoteServer local = wgaSyncInfo.getRuntime().createRemoteServer();
local.connectToServer();
DataSource plugin = local.getServices().downloadPlugin(local.getSession(), wgaSyncInfo.getLocalPluginInfo());
WGARemoteServer remote = wgaSyncInfo.getServer();
remote.getServices().installPlugins(remote.getSession(), Collections.singletonList(plugin));
remote.getServices().activatePlugin(remote.getSession(), wgaSyncInfo.getLocalPluginInfo());
committedResources.add(wgaSyncInfo.getLocal());