void (@Nullable XmlElement element) { String pluginManagerUrl = DEFAULT_PLUGINS_HOST; String pluginListUrl = null; channelListUrl = null; pluginDownloadUrl = null; if (element != null) { String url = element.getAttributeValue("url"); if (url != null) { pluginManagerUrl = url.endsWith("/") ? url.substring(0, url.length() - 1) : url; } String listUrl = element.getAttributeValue("list-url"); if (listUrl != null) { pluginListUrl = listUrl; } String channelListUrl = element.getAttributeValue("channel-list-url"); if (channelListUrl != null) { this.channelListUrl = channelListUrl; } String downloadUrl = element.getAttributeValue("download-url"); if (downloadUrl != null) { pluginDownloadUrl = downloadUrl; } String builtinPluginsUrl = element.getAttributeValue("builtin-url"); if (builtinPluginsUrl != null && !builtinPluginsUrl.isEmpty()) { myBuiltinPluginsUrl = builtinPluginsUrl; } } String pluginHost = System.getProperty(IDEA_PLUGINS_HOST_PROPERTY); if (pluginHost != null) { pluginManagerUrl = pluginHost.endsWith("/") ? pluginHost.substring(0, pluginHost.length() - 1) : pluginHost; pluginListUrl = channelListUrl = pluginDownloadUrl = null; } myPluginManagerUrl = pluginManagerUrl; myPluginsListUrl = pluginListUrl == null ? (pluginManagerUrl + "/plugins/list/") : pluginListUrl; if (channelListUrl == null) { channelListUrl = pluginManagerUrl + "/channels/list/"; } if (pluginDownloadUrl == null) { pluginDownloadUrl = pluginManagerUrl + "/pluginManager/"; } }